Logics and Models for Verification and Specification of Concurrent Systems
Download or Read eBook Logics and Models for Verification and Specification of Concurrent Systems PDF 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.
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)
Book excerpt: