Formal Methods: Foundations and Applications

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Formal Methods: Foundations and Applications by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319498157
Publisher: Springer International Publishing Publication: November 12, 2016
Imprint: Springer Language: English
Author:
ISBN: 9783319498157
Publisher: Springer International Publishing
Publication: November 12, 2016
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Biblical Principles of Leading and Managing Employees by
Cover of the book Nonlinear Analysis and Prediction of Time Series in Multiphase Reactors by
Cover of the book Pollutants in Buildings, Water and Living Organisms by
Cover of the book Global Responses to Domestic Violence by
Cover of the book The Design, Experience and Practice of Networked Learning by
Cover of the book People, Place and Power on the Nineteenth-Century Waterfront by
Cover of the book Application of the Political Economy to Rural Health Disparities by
Cover of the book Formulating Poorly Water Soluble Drugs by
Cover of the book Percutaneous Renal Surgery by
Cover of the book Samson and Delilah in Medieval Insular French by
Cover of the book The Recovery Myth by
Cover of the book The Trump Presidency by
Cover of the book Teaching and Learning in Lower Secondary Schools in the Era of PISA and TIMSS by
Cover of the book The Handbook of Formal Methods in Human-Computer Interaction by
Cover of the book GeNeDis 2014 by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy