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 Farm-Level Microsimulation Modelling by
Cover of the book Media and Metamedia Management by
Cover of the book Formal Methods and Software Engineering by
Cover of the book Ultrathin Metal Transparent Electrodes for the Optoelectronics Industry by
Cover of the book Relativity for Everyone by
Cover of the book Left Septal Fascicular Block by
Cover of the book Software Technologies by
Cover of the book The Role of Anesthesiology in Global Health by
Cover of the book Celebrating Soil by
Cover of the book The Art of Regression Modeling in Road Safety by
Cover of the book Governance in Russian Regions by
Cover of the book Time-Series Prediction and Applications by
Cover of the book Economics of Database-Assisted Spectrum Sharing by
Cover of the book Land Allocation for Biomass Crops by
Cover of the book The Magic Ring 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