Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Enlarge cover
Rate this book
Clear rating

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

by
0.0 of 5 stars 0.00  ·  rating details  ·  0 ratings  ·  0 reviews
This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the desi...more
Paperback, 290 pages
Published March 23rd 2011 by Springer
more details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.
This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

(showing 0-0 of 0)
filter  |  sort: default (?)  |  rating details
There are no discussion topics on this book yet. Be the first to start one »
The Book of Guinness Advertising Common Ground A Practical Guide to Family & Personal Security & Disaster Preparedness Specification and Proof in Real Time CSP The European Consumer Citizen in Law and Policy

Share This Book