Equational Specification And Verification Of Concurrent Systems
Download Equational Specification And Verification Of Concurrent Systems full books in PDF, epub, and Kindle. Read online free Equational Specification And Verification Of Concurrent Systems ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Related Books
Language: en
Pages: 672
Pages: 672
Type: BOOK - Published: 1990 - Publisher:
Language: en
Pages: 620
Pages: 620
Type: BOOK - Published: 2013-11-11 - Publisher: Springer Science & Business Media
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
Language: en
Pages: 486
Pages: 486
Type: BOOK - Published: 1998-10-31 - Publisher: Springer Science & Business Media
Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed syst
Language: en
Pages: 264
Pages: 264
Type: BOOK - Published: 1987 - Publisher:
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
Language: en
Pages: 420
Pages: 420
Type: BOOK - Published: 2003 - Publisher: IOS Press
This volume focuses on the education of researchers, teachers, students and practitioners. As usual in engineering, a study and application of the relevant bran