Related Books
Language: en
Pages: 234
Pages: 234
Type: BOOK - Published: 1995 - 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: 277
Pages: 277
Type: BOOK - Published: 1992 - Publisher:
This report describes an investigation of techniques to support the specification and verification of concurrent and distributed software systems, with special
Language: en
Pages: 14
Pages: 14
Type: BOOK - Published: 1984 - Publisher:
Language: en
Pages: 240
Pages: 240
Type: BOOK - Published: 2018-02-10 - Publisher: Springer
The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The vo