Time for Verification / Lecture Notes in Computer Science Bd.6200 (PDF)
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.
48 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
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.
- 2010, 2010, 413 Seiten, Englisch
- Herausgegeben: Zohar Manna, Doron A. Peled
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642137547
- ISBN-13: 9783642137549
- Erscheinungsdatum: 30.06.2010
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 5.79 MB
- Mit Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Time for Verification / Lecture Notes in Computer Science Bd.6200".
Kommentar verfassen