Related Books

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 Specification and Verification of Concurrent Systems
Language: en
Pages: 214

Formal Specification and Verification of Concurrent Systems

Authors: Harpreet Singh Chadha
Categories:
Type: BOOK - Published: 1996 - Publisher:

DOWNLOAD EBOOK

Formal Specification and Verification for Concurrent Systems by TELL
Language: en
Pages: 14

Formal Specification and Verification for Concurrent Systems by TELL

Authors: Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)
Categories:
Type: BOOK - Published: 1984 - Publisher:

DOWNLOAD EBOOK

Topics in the Specification and Verification of Concurrent Systems
Language: en
Pages: 234

Topics in the Specification and Verification of Concurrent Systems

Authors: Shipei Zhang
Categories: Computer algorithms
Type: BOOK - Published: 1995 - Publisher:

DOWNLOAD EBOOK

International Symposium on Programming
Language: en
Pages: 422

International Symposium on Programming

Authors: Mariangiola Dezani-Ciancaglini
Categories: Computers
Type: BOOK - Published: 1982-03 - Publisher: Lecture Notes in Computer Science

DOWNLOAD EBOOK