Formal Methods: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (1st ed. 2016) (Lecture Notes in Computer Science #9526)
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 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.
- Copyright:
- 2016
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783319294735
- Related ISBNs:
- 9783319294728
- Publisher:
- Springer International Publishing
- Date of Addition:
- 09/16/19
- Copyrighted By:
- Springer International Publishing, Cham
- 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:
- Márcio Cornélio
- Edited by:
- Bill Roscoe
Reviews
Other Books
- by Márcio Cornélio
- by Bill Roscoe
- in Nonfiction
- in Computers and Internet
- in Business and Finance
- in Mathematics and Statistics
- in Philosophy