Formal Methods: Foundations and Applications (Lecture Notes in Computer Science) by Juliano Iyoda
English | 26 Aug. 2013 | ISBN: 3642410707 | 256 Pages | PDF | 3 MB
English | 26 Aug. 2013 | ISBN: 3642410707 | 256 Pages | PDF | 3 MB
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.