Time for Verification
-
- 99,99 US$
-
- 99,99 US$
Lời Giới Thiệu Của Nhà Xuất Bản
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.
THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2010
30 tháng 6
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
421
Trang
NHÀ XUẤT BẢN
Springer Berlin Heidelberg
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
9,1
Mb