Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings . / Programming and Software Engineering)

Iyoda, Juliano (Editor) / de Moura, Leonardo (Editor)

ISBN 10: 3642410707 / ISBN 13: 9783642410703

Published by Springer, 2013

About this Item

2013 edition. 256 pages. 9.20x6.10x0.70 inches. In Stock.

Seller Inventory # x-3642410707

Bibliographic Details

• Title: Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings . / Programming and Software Engineering)
• Publisher: Springer
• Publication Date: 2013
• Language: English
• ISBN 10: 3642410707
• ISBN 13: 9783642410703
• Binding: Paperback
• Condition: Brand New
• Weight: 0.36 kilograms

About this title

Synopsis

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.