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 Azokh Cave and the Transcaucasian Corridor by
Cover of the book Mapping Urban Practices Through Mobile Phone Data by
Cover of the book Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance by
Cover of the book Gender and Choice after Socialism by
Cover of the book The AIDS Pandemic by
Cover of the book The Antarctic Silverfish: a Keystone Species in a Changing Ecosystem by
Cover of the book Reading Donald Trump by
Cover of the book Data and Applications Security and Privacy XXXI by
Cover of the book Synthetic Biology by
Cover of the book The American Experience in Bioethics by
Cover of the book Artificial Intelligence and Natural Language by
Cover of the book Evolving Nature of Objectivity in the History of Science and its Implications for Science Education by
Cover of the book Regional Cooperation in South Asia by
Cover of the book Applications of Chaos and Nonlinear Dynamics in Science and Engineering - Vol. 4 by
Cover of the book Alternative Energy Sources and Technologies 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