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
Verification: Theory and Practice
Best Price (Coupon Required):
Buy Verification: Theory and Practice for $76.50 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
|
|
$84.99 | $84.99 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor. The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering, requirements specification, and program synthesis.
Reviews
Questions & Answers
Migrant Protection and the City in the Americas
$129.00
Konsumentenverstndnis
$37.99
Pediatric Neurosurgery
$84.99
Technik - Konstruktionen
$27.99
Transactions on Engineering Technologies
$169.00
The Silver Eyes: Five Nights at Freddy's (Original Trilogy Book 1)
$7.49
Fitness auf dem Prfstand
$24.99
The New Middle Classes
$44.99
The Essential Guide to Rocky Mountain Mushrooms by Habitat by Cathy Cripps
$29.95
Rural Protest in the Weimar Republic
$54.99
Ottoman High Politics and the Ulema Household
$39.99
A Project-Based Introduction to Computational Statics
$109.99
Analysis and Interpretation of Range Images
$84.99
Graph Drawing
$39.99
Die Interferenzen von Rntgen- und Elektronenstrahlen
$69.99
Automotive Engines
$27.99
Introduction to Anticipation Studies
$139.99
The Geography of Albania
$79.99
Diffusion Processes
$84.99
Constraint Solving and Language Processing
$54.99
Political and Social Economy of Commodity Control
$44.99
Adding & Subtracting Decimals Grade 5 Differentiation Pack
$5.99
The Anglo-Dutch Relations from the Earliest Times to the Death of William the Third
$39.99
Pdagogische Jugendforschung
$59.99
How Clouds Hold IT Together
$49.99
Imaging Religion in Film
$54.99
Get Ready for Kindergarten Wipe-Clean Workbook: Scholastic Early Learners (Wipe Clean) by Scholastic
$9.99
Theory and Applications of Time Series Analysis
$169.99
Basics of Marine and Estuarine Ecology
$129.00
Strategies and Communications for Innovations
$159.00
Atlas of Neurotologic and Lateral Skull Base Surgery
$99.00
Topologie I
$64.99
Advances in the Biomechanics of the Hand and Wrist
$169.00
Water Resources and Hydrometeorology of the Arab Region
$169.99
Modelling Trends and Cycles in Economic Time Series
$54.99
Unbelievably Vegan: 100+ Life-Changing, Plant-Based Recipes: A Cookbook by Charity Morgan
$29.99
Energy Transfer Processes in Condensed Matter
$39.99
Policy Analysis
$84.99
Organic Computing
$129.00
Improving Prognosis for Kidney Disorders
$109.99
