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

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:

DOWNLOAD EBOOK

Formal Specification and Verification of Concurrent Programs
Language: en
Pages: 101

Formal Specification and Verification of Concurrent Programs

Authors: Daniel M. Berry
Categories: Parallel programming (Computer science)
Type: BOOK - Published: 1993 - Publisher:

DOWNLOAD EBOOK

Amvik eBook Solutions - Theme by Netnus