Formal Methods: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected (2007) (Lecture Notes in Computer Science #4346)
By: and and 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 thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.
- Copyright:
- 2007
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783540709527
- Related ISBNs:
- 9783540709510
- Publisher:
- Springer Berlin Heidelberg
- Date of Addition:
- 06/30/22
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Lubos Brim
- Edited by:
- Boudewijn Haverkort
- Edited by:
- Martin Leucker
- Edited by:
- Jaco van Pol
Reviews
Other Books
- by Martin Leucker
- by Lubos Brim
- by Boudewijn Haverkort
- by Jaco Van De Pol
- in Nonfiction
- in Computers and Internet