Das Buch ist derzeit nicht auf Lager
Parameter
Mehr zum Buch
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.
Buchkauf
Time for verification, Zohar Manna
- Sprache
- Erscheinungsdatum
- 2010
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Time for verification
- Sprache
- Englisch
- Autor*innen
- Zohar Manna
- Verlag
- Springer
- Verlag
- 2010
- Einband
- Paperback
- ISBN10
- 3642137539
- ISBN13
- 9783642137532
- Kategorie
- Informatik & Programmierung
- 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.