Description: Verification of Sequential and Concurrent Programs, Paperback by Apt, Krzysztof R.; De Boer, Frank S.; Olderog, Ernst-Rudiger; Pnueli, Amir (FRW), ISBN 1447125134, ISBN-13 9781447125136, Brand New, Free shipping in the US This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout th demonstrate the use of the proof systems and formally verify solutions to classical problems.
Price: 104.62 USD
Location: Jessup, Maryland
End Time: 2025-01-17T02:37:41.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Verification of Sequential and Concurrent Programs
Number of Pages: Xxiv, 502 Pages
Publication Name: Verification of Sequential and Concurrent Programs
Language: English
Publisher: Springer London, The Limited
Publication Year: 2012
Subject: Software Development & Engineering / Quality Assurance & Testing, Programming / Algorithms, Computer Science
Item Height: 0.4 in
Type: Textbook
Item Weight: 28.3 Oz
Subject Area: Computers
Author: Krzysztof R. Apt, Frank S. De Boer, Springer, Ernst-Rüdiger Olderog
Item Length: 9.3 in
Item Width: 6.1 in
Series: Texts in Computer Science Ser.
Format: Trade Paperback
