Andere Kunden interessierten sich auch für
![Formal Methods: Foundations and Applications]( "Formal Methods: Foundations and Applications")
Formal Methods: Foundations and Applications30,99 €![Software Engineering and Formal Methods]( "Software Engineering and Formal Methods")
Software Engineering and Formal Methods37,99 €![Fundamentals of Software Engineering]( "Fundamentals of Software Engineering")
Fundamentals of Software Engineering37,99 €![Model Checking Software]( "Model Checking Software")
Model Checking Software37,99 €![Fundamental Approaches to Software Engineering]( "Fundamental Approaches to Software Engineering")
Fundamental Approaches to Software Engineering37,99 €![Formal Modeling and Analysis of Timed Systems]( "Formal Modeling and Analysis of Timed Systems")
Formal Modeling and Analysis of Timed Systems37,99 €![Verification, Model Checking, and Abstract Interpretation]( "Verification, Model Checking, and Abstract Interpretation")
Verification, Model Checking, and Abstract Interpretation37,99 €
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.
The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.