Andere Kunden interessierten sich auch für
![Models of Strategic Reasoning]( "Models of Strategic Reasoning")
Models of Strategic Reasoning37,99 €![Mathematical and Engineering Methods in Computer Science]( "Mathematical and Engineering Methods in Computer Science")
Mathematical and Engineering Methods in Computer Science30,99 €![Trends in Functional Programming]( "Trends in Functional Programming")
Trends in Functional Programming31,99 €![Building Transformation Networks for Consistent Evolution of Interrelated Models]( "Building Transformation Networks for Consistent Evolution of Interrelated Models")
Building Transformation Networks for Consistent Evolution of Interrelated Models62,00 €![Logic for Programming, Artificial Intelligence, and Reasoning]( "Logic for Programming, Artificial Intelligence, and Reasoning")
Logic for Programming, Artificial Intelligence, and Reasoning38,99 €![Temporal Logic and State Systems]( "Temporal Logic and State Systems")
Temporal Logic and State Systems74,99 €![Computer Vision, Imaging and Computer Graphics: Theory and Applications]( "Computer Vision, Imaging and Computer Graphics: Theory and Applications")
Computer Vision, Imaging and Computer Graphics: Theory and Applications37,99 €
This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 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.