Proceedings of the 9th International Workshop on Formal Methods for Industrial Critical Systems
Author | : Juan Carlos Bicarregui |
Publisher | : |
Total Pages | : |
Release | : 2005 |
ISBN-10 | : OCLC:681317863 |
ISBN-13 | : |
Rating | : 4/5 ( Downloads) |
Book Synopsis Proceedings of the 9th International Workshop on Formal Methods for Industrial Critical Systems by : Juan Carlos Bicarregui
Download or read book Proceedings of the 9th International Workshop on Formal Methods for Industrial Critical Systems written by Juan Carlos Bicarregui and published by . This book was released on 2005 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: