Concurrent Programs Are Easier To Verify Than Sequential Programs
Download Concurrent Programs Are Easier To Verify Than Sequential Programs full books in PDF, epub, and Kindle. Read online free Concurrent Programs Are Easier To Verify Than Sequential Programs ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Concurrent Programs are Easier to Verify Than Sequential Programs
Author | : E. Clarke |
Publisher | : |
Total Pages | : 19 |
Release | : 1978 |
Genre | : |
ISBN | : |
Download Concurrent Programs are Easier to Verify Than Sequential Programs Book in PDF, Epub and Kindle
Concurrent Programs are Easier to Verify Than Sequential Programs Related Books
Language: en
Pages: 19
Pages: 19
Type: BOOK - Published: 1978 - Publisher:
Language: en
Pages: 452
Pages: 452
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media
This book provides a structured introduction to the verification of sequen tial and concurrent programs. It thus belongs to the area of programming languages bu
Language: en
Pages: 512
Pages: 512
Type: BOOK - Published: 2010-10-14 - Publisher: Springer Science & Business Media
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is
Language: en
Pages: 441
Pages: 441
Type: BOOK - Published: 1991 - Publisher: Springer Science & Business Media
This book provides a structural introduction to program verification. Sequential programs in the form of deterministic and nondeterministic programs, and concur
Language: en
Pages: 364
Pages: 364
Type: BOOK - Published: 1982-07-29 - Publisher: Cambridge University Press