Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Partial-Order Methods for the Verification of Concurrent Systems
Best Price (Coupon Required):
Buy Partial-Order Methods for the Verification of Concurrent Systems for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Lige, 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 logical issues. Patrice Godefroid uses state-space exploration as the key technique, which, as such or elaborated into model checking, is attracting growing attention for the verification of concurrent systems. For most realistic examples, the methods presented provide a significant reduction of memory and time requirements for protocol verification.
Reviews
Questions & Answers
Lsungen zum Lehrbuch Buchfhrung 1 DATEV-Kontenrahmen 2019
$19.99
Glasmaschinen
$84.99
Die Unternehmer-Elite
$44.99
Applications of Cognitive Computing Systems and IBM Watson
$99.99
International Joint Conference CISIS12-ICEUTE12-SOCO12 Special Sessions
$219.99
Somatic Cell Nuclear Transfer
$84.99
Methoden der strategischen Planung und Steuerung der IT
$69.99
Social-Media-Marketing kompakt
$19.99
Queer Theatre and the Legacy of Cal Yeomans
$54.99
The Evertree (Hardcover)
$9.74
Multiple Criteria Decision Making
$139.00
Combined Forces for Social Impact
$54.99
Politik, Brokratie und staatliche Ausbildungsbeihilfen in Deutschland
$59.99
Das psychiatrische Fakulttsgutachten
$59.99
Fortleitung elektrischer Energie lngs Leitungen in Starkstrom- und Fernmeldetechnik
$59.99
Technik von gestern fr die Ziele von morgen?
$59.99
Video and Image Processing in Multimedia Systems
$219.99
Slave Trade Profiteers in the Western Indian Ocean
$129.99
Surrogate-Based Modeling and Optimization
$119.00
Between Peace and War
$34.99
Parental Obesity: Intergenerational Programming and Consequences
$199.99
Necrotizing Soft Tissue Infections
$159.99
Masters Theses in the Pure and Applied Sciences
$39.99
Schaffung von Grundlagen fr die Erhhung der spez. Leistung und Herabsetzung des spez. Brennstoffve
$49.99
Directing at Disney: The Original Directors of Walt's Animated Films Book
$50.00
Medical Neuroanatomy for the Boards and the Clinic
$99.99
Sustainability Challenges in Sub-Saharan Africa I
$109.99
ber die Abhngigkeit des Formnderungsvermgens metallischer Werkstoffe vom Spannungszustand bei un
$59.99
Oxygen Transport to TissueIV
$84.99
Learning to Read: An Integrated View from Research and Practice
$219.99
Wings of Fire Graphic Novel: The Dragonet Prophecy (#1)
$9.74
Public Sector Organizations and Cultural Change
$39.99
Computational Signal Processing with Wavelets
$54.99
The Awakening Storm: A Graphic Novel (City of Dragons #1)
$9.74
Psychiatric Disorders
$219.99
Beginning Microsoft 365 Collaboration Apps
$79.99
Beginning Microsoft Dataverse
$64.99
Integrierte Unternehmenskommunikation
$69.99
Partial Differential Equations and Spectral Theory
$109.99
Religious Tolerance, Education and the Curriculum
$49.99
