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

GET 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:

GET 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:

GET EBOOK

Formal Specification of Concurrent Systems
Language: en
Pages:

Formal Specification of Concurrent Systems

Authors: California Institute of Technology. Computer Science Department
Categories:
Type: BOOK - Published: 1982 - Publisher:

GET 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

GET EBOOK