Skip to content
Health Wealth Mirror
Medical and Others eBook Publication
Menu
Home
Contact
Cookie Privacy Policy
DMCA
Privacy Policy
Terms of Use
Related Books
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
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
Language: en
Pages: 214
Formal Specification and Verification of Concurrent Systems
Authors:
Harpreet Singh Chadha
Categories:
Type:
BOOK -
Published:
1996 -
Publisher:
DOWNLOAD EBOOK
Language: en
Pages:
Formal Specification of Concurrent Systems
Authors:
California Institute of Technology. Computer Science Department
Categories:
Type:
BOOK -
Published:
1982 -
Publisher:
DOWNLOAD EBOOK
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
New Books
Recent Books
Copyright Health Wealth Mirror
Pinnacle Themes