Time for Verification
-
- 99٫99 US$
-
- 99٫99 US$
وصف الناشر
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.
النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٠
٣٠ يونيو
اللغة
EN
الإنجليزية
عدد الصفحات
٤٢١
الناشر
Springer Berlin Heidelberg
البائع
Springer Nature B.V.
الحجم
٩٫١
م.ب.