Skip to main content
PBS logo
 
 

Search - Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Verification of Sequential and Concurrent Programs - Texts in Computer Science
Author: Krzysztof R. Apt, Ernst-Rüdiger Olderog
This widely anticipated third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. This approach is applied to deterministic and nondeterministic sequential programs of varying complexity, together with both parallel and distributed concurrent programs. The exp...  more »
ISBN-13: 9781848827448
ISBN-10: 184882744X
Publication Date: 10/2/2009
Pages: 502
Edition: 3rd ed.2nd Printing.
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review



Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.