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 Marxism and Left-Wing Politics in Europe and Iran by
Cover of the book CFD Modeling and Simulation in Materials Processing 2018 by
Cover of the book Production Management of Chemical Industries by
Cover of the book Literary Cultures and Eighteenth-Century Childhoods by
Cover of the book Fractal Zeta Functions and Fractal Drums by
Cover of the book Solar Energetic Particles by
Cover of the book The Role of Renewable Energy Technology in Holistic Community Development by
Cover of the book Asteroids Impacts, Crustal Evolution and Related Mineral Systems with Special Reference to Australia by
Cover of the book Fractional-Order Devices by
Cover of the book Agent-Based Modelling in Population Studies by
Cover of the book Holistic Simulation of Geotechnical Installation Processes by
Cover of the book Education Tools for Entrepreneurship by
Cover of the book The Changing Academic Profession in Japan by
Cover of the book Tools of Transport Telematics by
Cover of the book Domain Decomposition Methods in Science and Engineering XXI 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