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 Silicon Nanowire Transistors by
Cover of the book Organic Sonochemistry by
Cover of the book Archean Rare-Metal Pegmatites in Zimbabwe and Western Australia by
Cover of the book Architecture, Urban Space and War by
Cover of the book Sustainable Production: Novel Trends in Energy, Environment and Material Systems by
Cover of the book Advances in Condition Monitoring of Machinery in Non-Stationary Operations by
Cover of the book Internet of Things. User-Centric IoT by
Cover of the book Exosomes, Stem Cells and MicroRNA by
Cover of the book The Race to the Moon Chronicled in Stamps, Postcards, and Postmarks by
Cover of the book Societies under Construction by
Cover of the book Augmented Reality, Virtual Reality, and Computer Graphics by
Cover of the book Theoretical and Observational Consistency of Massive Gravity by
Cover of the book End-User Development by
Cover of the book Cognitive Phase Transitions in the Cerebral Cortex - Enhancing the Neuron Doctrine by Modeling Neural Fields by
Cover of the book Reviews of Physiology, Biochemistry and Pharmacology, Vol. 175 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