Verified software: theories, tools, experiments : 5th international conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International conference on verified software: theories, tools, and experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from...

Celý popis

Podrobná bibliografie

Další autoři:	Cohen, Ernie (Editor) Rybalchenko, Andrey (Editor)
Korporace:	SpringerLink (online služba) (Distributor)
Konference:	VSTTE 2013 (Menlo Park, Kalifornie)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Heidelberg ; New York ; Dordrecht ; London : Springer, 2014
Edice:	Lecture notes in computer science
Žánr/forma:	elektronické knihy sborníky konferencí
ISBN:	978-3-642-54108-7 978-3-642-54107-0
Témata:	informatika počítače softwarové inženýrství programování programovací jazyky umělá inteligence robotika matematická logika formální jazyky
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!