Formal Methods: Foundations and Applications
-
- 69,99 US$
-
- 69,99 US$
Lời Giới Thiệu Của Nhà Xuất Bản
This book constitutes the thoroughly refereed post-conference
proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF
2010, held in Natal, Brazil, in November 2010.
The 18 revised full papers were carefully reviewed and selected from
55 submissions. The papers presented cover a broad range of foundational
and methodological issues in formal methods for the design and analysis
of software and hardware systems as well as applications in various
domains.
THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2011
17 tháng 3
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
299
Trang
NHÀ XUẤT BẢN
Springer Berlin Heidelberg
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
6
Mb