.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Verification of Sequential and Concurrent Programs
Apt, Krzysztof R.; Boer, Frank S. De; Olderog, Ernst-Rudiger
€ 138.08
FREE Delivery in Ireland
Description for Verification of Sequential and Concurrent Programs
Hardback. This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems. Series: Texts in Computer Science. Num Pages: 526 pages, 26 black & white illustrations, biography. BIC Classification: UMB. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 237 x 167 x 32. Weight in Grams: 922.
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 not language-bounded in the sense that it covers a large variety of programming models and features that appear in most modern programming languages. It covers the classes of - quential and parallel, deterministic and non-deterministic, distributed and object-oriented programs. For each of the classes it presents the various c- teria of correctness that are relevant for these classes, such as interference freedom, deadlock freedom, and appropriate notions of liveness for parallel programs. Also, special proof rules ... Read more
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 not language-bounded in the sense that it covers a large variety of programming models and features that appear in most modern programming languages. It covers the classes of - quential and parallel, deterministic and non-deterministic, distributed and object-oriented programs. For each of the classes it presents the various c- teria of correctness that are relevant for these classes, such as interference freedom, deadlock freedom, and appropriate notions of liveness for parallel programs. Also, special proof rules ... Read more
Product Details
Format
Hardback
Publication date
2009
Publisher
Springer London Ltd United Kingdom
Number of pages
526
Condition
New
Series
Texts in Computer Science
Number of Pages
502
Place of Publication
England, United Kingdom
ISBN
9781848827448
SKU
V9781848827448
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Verification of Sequential and Concurrent Programs