Formal Methods: Foundations and Applications
-
- US$69.99
-
- US$69.99
출판사 설명
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.
장르
컴퓨터 및 인터넷
출시일
2011년
3월 17일
언어
EN
영어
길이
299
페이지
출판사
Springer Berlin Heidelberg
판매자
Springer Nature B.V.
크기
6
MB