Advanced NATO Study Institute on Logics and Models for Verification and Specification of Concurrent Systems

Advanced NATO Study Institute on Logics and Models for Verification and Specification of Concurrent Systems
Author :
Publisher :
Total Pages :
Release :
ISBN-10 : OCLC:652371739
ISBN-13 :
Rating : 4/5 (39 Downloads)

Book Synopsis Advanced NATO Study Institute on Logics and Models for Verification and Specification of Concurrent Systems by :

Download or read book Advanced NATO Study Institute on Logics and Models for Verification and Specification of Concurrent Systems written by and published by . This book was released on 1984 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:


Advanced NATO Study Institute on Logics and Models for Verification and Specification of Concurrent Systems Related Books

Service Des Relations Extérieures
Language: en
Pages: 760
Authors: INRIA.
Categories:
Type: BOOK - Published: 1985 - Publisher:

DOWNLOAD EBOOK

Compositionality, Concurrency, and Partial Correctness
Language: en
Pages: 284
Authors: Job Zwiers
Categories: Computers
Type: BOOK - Published: 1989-02-22 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The hierarchical decomposition of programs into smaller ones is generally considered imperative to master the complexity of large programs. The impact of this p
Automatic Verification Methods for Finite State Systems
Language: en
Pages: 392
Authors: Joseph Sifakis
Categories: Computers
Type: BOOK - Published: 1990-01-10 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite sta