Partial-Order Methods for the Verification of Concurrent Systems (English, Patrice Godefroid)

Name: Partial-Order Methods for the Verification of Concurrent Systems (English, Patrice Godefroid)
SKU: isbn-9783540607618
Price: 5449.00 INR
Availability: InStock
ISBN: 9783540607618

By Patrice GodefroidSpringer

₹5,449

Inclusive of all applicable taxes. FREE shipping on all orders.

Quantity:

Free DeliveryOn every order

15-Day ReturnEasy returns

Genuine BookPhysical copy only

Available Offers

🚚Free Delivery — Free shipping on all orders
💵Cash on Delivery — Pay when your order arrives
↩️15-Day Easy Returns — Hassle-free return policy
🔒Cash on Delivery — Pay safely when your order arrives

Check Delivery

Product Description

About the Book

This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Liège, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work, is to turn logical and semantic ideas into exploitable algorithms. Thus, it perfectly fits the modern trend, viewing verification as a computer-aided activity, and as algorithmic as possible, not as a paper and pencil one, dealing exclusively with semantic and logi…

ISBN: 9783540607618

Book Specifications

ISBN-13	9783540607618
ISBN-10	3540607617
Publisher	Springer
Category	Springer

Frequently Asked Questions

What is the price of Partial-Order Methods for the Verification of Concurrent Systems?

Partial-Order Methods for the Verification of Concurrent Systems is available at ₹5,449 on BookShops.in.

Does BookShops.in offer free delivery for Partial-Order Methods for the Verification of Concurrent Systems?

FREE delivery on all orders for Partial-Order Methods for the Verification of Concurrent Systems.

Is Cash on Delivery available for Partial-Order Methods for the Verification of Concurrent Systems?

Yes, Cash on Delivery (COD) is available for Partial-Order Methods for the Verification of Concurrent Systems on BookShops.in. Pay when your order arrives.

What is the return policy for Partial-Order Methods for the Verification of Concurrent Systems?

BookShops.in offers a 15-day hassle-free return policy for Partial-Order Methods for the Verification of Concurrent Systems. Contact us at [email protected] or call +91 81899 68108.

Is Partial-Order Methods for the Verification of Concurrent Systems authentic?

Partial-Order Methods for the Verification of Concurrent Systems is listed on BookShops.in after verification of product details including ISBN, title, and availability information.