Time for Verification
Essays in Memory of Amir Pnueli
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.
CHF 120.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Peled, Doron A. (Hrsg.)
- ISBN: 978-3-642-13754-9
- EAN: 9783642137549
- Produktnummer: 33313319
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2010
- Seitenangabe: 413 S.
- Plattform: PDF
- Masse: 5'996 KB
- Auflage: 2010
- Abbildungen: 113 schwarz-weiße Abbildungen, Bibliographie
- Reihenbandnummer: 6200
Bewertungen
Anmelden