che-chandler.de
|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Time for Verification
Essays in Memory of Amir Pnueli
PDF
Sofort lieferbar | Lieferzeit: Sofort lieferbar I
ISBN-13:
9783642137549
Veröffentl:
2010
Einband:
PDF
Seiten:
413
Autor:
Zohar Manna
Serie:
Lecture Notes in Computer Science
eBook Typ:
PDF
eBook Format:
PDF
Kopierschutz:
Adobe DRM [Hard-DRM]
Sprache:
Englisch
Beschreibung:
This volume is dedicated to the memory of the 1996 Turing Award winner Amir Pnueli. It contains articles written by leading scientists that span the breadth of Pnueli's scientific work, with a focus on the development and the application of formal methods.
This volume is dedicated to the memory of the 1996 Turing Award winner Amir Pnueli. It contains articles written by leading scientists that span the breadth of Pnueli's scientific work, with a focus on the development and the application of formal methods.