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