Het boek is momenteel niet op voorraad
Meer over het boek
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.
Een boek kopen
Time for verification, Zohar Manna
- Taal
- Jaar van publicatie
- 2010
- product-detail.submit-box.info.binding
- (Paperback)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
We missen je recensie hier.