Logics and Models for Verification and Specification of Concurrent Systems
Author | : Institut national de recherche en informatique et en automatique (France) |
Publisher | : |
Total Pages | : 356 |
Release | : 1984 |
ISBN-10 | : OCLC:25173197 |
ISBN-13 | : |
Rating | : 4/5 (97 Downloads) |
Book Synopsis Logics and Models for Verification and Specification of Concurrent Systems by : Institut national de recherche en informatique et en automatique (France)
Download or read book Logics and Models for Verification and Specification of Concurrent Systems written by Institut national de recherche en informatique et en automatique (France) and published by . This book was released on 1984 with total page 356 pages. Available in PDF, EPUB and Kindle. Book excerpt: