Equational Specification and Verification of Concurrent Systems

Equational Specification and Verification of Concurrent Systems
Author :
Publisher :
Total Pages : 672
Release :
ISBN-10 : UCAL:X42912
ISBN-13 :
Rating : 4/5 ( Downloads)
DOWNLOAD EBOOK
Book Synopsis Equational Specification and Verification of Concurrent Systems by : James Richard Buffenbarger

Download or read book Equational Specification and Verification of Concurrent Systems written by James Richard Buffenbarger and published by . This book was released on 1990 with total page 672 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Equational Specification and Verification of Concurrent Systems Related Books

Equational Specification and Verification of Concurrent Systems
Language: en
Pages: 672

Equational Specification and Verification of Concurrent Systems

Authors: James Richard Buffenbarger
Categories:
Type: BOOK - Published: 1990 - Publisher:

DOWNLOAD EBOOK

Specification and Verification of Concurrent Systems
Language: en
Pages: 620

Specification and Verification of Concurrent Systems

Authors: Charles Rattray
Categories: Computers
Type: BOOK - Published: 2013-11-11 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University
Formal Description Techniques and Protocol Specification, Testing and Verification
Language: en
Pages: 486

Formal Description Techniques and Protocol Specification, Testing and Verification

Authors: Stan Budkowski
Categories: Technology & Engineering
Type: BOOK - Published: 1998-10-31 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed syst
Temporal Logics and Their Applications
Language: en
Pages: 264

Temporal Logics and Their Applications

Authors: Antony Galton
Categories: Computers
Type: BOOK - Published: 1987 - Publisher:

DOWNLOAD EBOOK

FROM THE PREFACE: This book has risen from a conference on Temporal Logic and Its Applications held at the University of Leeds in January 1986, under the auspic
Models, Algebras and Logic of Engineering Software
Language: en
Pages: 420

Models, Algebras and Logic of Engineering Software

Authors: Manfred Broy
Categories: Computers
Type: BOOK - Published: 2003 - Publisher: IOS Press

DOWNLOAD EBOOK

This volume focuses on the education of researchers, teachers, students and practitioners. As usual in engineering, a study and application of the relevant bran