Kniha momentálne nie je na sklade
Parametre
Viac o knihe
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.
Nákup knihy
Time for verification, Zohar Manna
- Jazyk
- Rok vydania
- 2010
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Time for verification
- Jazyk
- anglicky
- Autori
- Zohar Manna
- Vydavateľ
- Springer
- Rok vydania
- 2010
- Väzba
- mäkká
- ISBN10
- 3642137539
- ISBN13
- 9783642137532
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- 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.