Time for Verification: Essays in Memory of Amir Pnueli

Gespeichert in:

Personen und Körperschaften:	Manna, Zohar (VerfasserIn), Peled, Doron (Sonstige)
Titel:	Time for Verification: Essays in Memory of Amir Pnueli/ edited by Zohar Manna, Doron A. Peled
Format:	E-Book
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer Berlin Heidelberg 2010
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 6200
Schlagwörter:	Logic design Computer Science Computer science Computer programming. Compilers (Computer programs). Machine theory. Aufsatzsammlung
Buchausg. u.d.T.:	Time for verification, Berlin : Springer, 2010, X, 399 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz