Time for Verification
-
- $109.99
-
- $109.99
Publisher Description
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.
GENRE
Computing & Internet
RELEASED
2010
30 June
LANGUAGE
EN
English
LENGTH
421
Pages
PUBLISHER
Springer Berlin Heidelberg
SELLER
Springer Nature B.V.
SIZE
9.1
MB