Formal Methods: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings (2012) (Lecture Notes in Computer Science #7498)
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. 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.
- Copyright:
- 2012
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783642332968
- Related ISBNs:
- 9783642332951
- Publisher:
- Springer Berlin Heidelberg
- Date of Addition:
- 08/13/22
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Business and Finance, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Rohit Gheyi
- Edited by:
- David Naumann
Reviews
Other Books
- by Rohit Gheyi
- by David Naumann
- in Nonfiction
- in Computers and Internet
- in Business and Finance
- in Mathematics and Statistics
- in Philosophy