Formal Methods: Foundations and Applications

18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, 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: 9783319294735
Publisher: Springer International Publishing Publication: January 23, 2016
Imprint: Springer Language: English
Author:
ISBN: 9783319294735
Publisher: Springer International Publishing
Publication: January 23, 2016
Imprint: Springer
Language: English

This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.

The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation.

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

This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.

The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation.

More books from Springer International Publishing

Cover of the book The Transnational and the Local in the Politics of Islam by
Cover of the book Our Beautiful Moon and its Mysterious Magnetism by
Cover of the book Nanoscale Materials and Devices for Electronics, Photonics and Solar Energy by
Cover of the book Medical Sociology in Africa by
Cover of the book Lakes of the World with Google Earth by
Cover of the book COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy by
Cover of the book Storm Water Management by
Cover of the book Trypanosoma cruzi as a Foodborne Pathogen by
Cover of the book Advances in Manufacturing II by
Cover of the book Polymer Surfaces in Motion by
Cover of the book Research in History and Philosophy of Mathematics by
Cover of the book Remote Sensing and Modeling by
Cover of the book Project Management and Engineering Research by
Cover of the book WALCOM: Algorithms and Computation by
Cover of the book Composite, Hybrid, and Multifunctional Materials, Volume 4 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