Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Podrobná bibliografie

Další autoři:	Margaria, Tiziana (Editor) Steffen, Bernhard (Editor)
Korporace:	SpringerLink (online služba)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Berlin ; Heidelberg : Springer Berlin Heidelberg, 2010
Edice:	Lecture Notes in Computer Science
Žánr/forma:	elektronické knihy
ISBN:	978-3-642-16558-0 9783642165573
Témata:	informatika softwarové inženýrství programovací jazyky vyhledávání v datech
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!