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.
Read More
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.
Read Less
Add this copy of Verification of Sequential and Concurrent Programs to cart. $71.09, new condition, Sold by Paperbackshop rated 4.0 out of 5 stars, ships from Bensenville, IL, UNITED STATES, published 2012 by Springer Nature B. V.
Add this copy of Verification of Sequential and Concurrent Programs to cart. $84.53, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2012 by Springer.
Add this copy of Verification of Sequential and Concurrent Programs to cart. $101.06, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2012 by Springer.
Add this copy of Verification of Sequential and Concurrent Programs to cart. $106.97, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 2012 by Springer.
Add this copy of Verification of Sequential and Concurrent Programs to cart. $115.40, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2012 by Springer.
Add this copy of Verification of Sequential and Concurrent Programs to cart. $155.37, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2012 by Springer.
Add this copy of Verification of Sequential and Concurrent Programs to cart. $34.25, very good condition, Sold by kelseyskorner rated 4.0 out of 5 stars, ships from Blaine, WA, UNITED STATES, published 2010 by Springer.
Add this copy of Verification of Sequential and Concurrent Programs to cart. $103.32, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2009 by Springer.
Add this copy of Verification of Sequential and Concurrent Programs to cart. $117.04, like new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2009 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Sewn binding. Cloth over boards. 502 p. Contains: Unspecified, Illustrations, black & white, Figures. Texts in Computer Science. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
