Tools and Algorithms for the Construction and Analysis of Systems
-
- 89,99 US$
-
- 89,99 US$
Lời Giới Thiệu Của Nhà Xuất Bản
This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.
THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2008
3 tháng 4
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
536
Trang
NHÀ XUẤT BẢN
Springer Berlin Heidelberg
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
11
Mb