Time for Verification
-
- 99,99 $
-
- 99,99 $
От издателя
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.
ЖАНР
Компьютеры и Интернет
РЕЛИЗ
2010
30 июня
ЯЗЫК
EN
английский
ОБЪЕМ
421
стр.
ИЗДАТЕЛЬ
Springer Berlin Heidelberg
ПРОДАВЕЦ
Springer Nature B.V.
РАЗМЕР
9,1
МБ