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
Broadband Measurement and Reduction of Quantum Radiation Pressure Noise in the Audio Band
$109.99
Fundamental Approaches to the Management of Cardiac Arrhythmias
$189.00
Modeling and Monitoring of Pipelines and Networks
$119.00
Navigation durch die komplexe Welt der Logistik
$49.99
Community-Based Participatory Research for Improved Mental Healthcare
$49.99
Big Data in Information Society and Digital Economy
$179.99
Bewegung und Sport gegen Burnout, Depressionen und ngste
$19.99
Computational Science and Its Applications - ICCSA 2010
$109.99
The Kaguya Mission to the Moon
$169.99
Digital Detox
$14.99
Traumdeutung
$39.99
Das Werk Heinrich Blls
$49.99
Migration in South Asia
$59.99
Capitalism and the Dark Forces of Time and Ignorance
$59.99
Universal Access in Human-Computer Interaction. Design for All and eInclusion
$54.99
Die Einflussfaktoren der Markenbewertung im Sport
$74.99
Fundamentals of Modern Statistical Methods
$99.00
Mysterious Ocean
$39.99
Lehrbuch der Plasmaphysik und Magnetohydrodynamik
$59.99
IT-Systeme im CRM
$64.99
Dance, Consumerism, and Spirituality
$54.99
Marxism and Ethics
$54.99
A Pragmatic Perspective of Measurement
$59.99
Dynamics of Information Systems
$49.99
Beyond the Brain
$99.00
Rising Voices Library: Celebrating Girls of Color, Grade 5
$644.95
Good Housekeeping Instant Pot Cookbook - 60 Delicious Foolproof Recipes by Susan Westmoreland
$16.95
konomische Analyse des Car-Sharing
$44.99
Lehrbuch der Algebra
$59.99
Smart Energy and Advancement in Power Technologies
$189.00
The Politics of Hung Authorities
$39.99
History of the IMF
$54.99
The Suez Canal: Past Lessons and Future Challenges
$59.99
The University in the Age of Globalization
$39.99
Notes on the Elements of Behavioral Science
$129.00
Mathematische Grundlagen der Quantenmechanik
$59.99
Gaussian and Non-Gaussian Linear Time Series and Random Fields
$84.99
Bericht ber die Fnfzigste Zusammenkunft der Deutschen Ophthalmologischen Gesellschaft in Heidelber
$59.99
Medicinal and Aromatic Plants IX
$329.99
The Present Status of the Quantum Theory of Light
$169.00
