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
Aktive Funktionsbauweisen
$169.99
Bildung und Teilhabe
$64.99
Supply Chain Management
$19.99
Arthur Books: Arthur's Off to School
$4.49
Archaeoastronomy
$44.99
Players in the Public Policy Process
$54.99
Dreiundzwanzigste sterreichische rztetagung Wien
$79.99
Reaction and Renewal in South Africa
$84.99
Corporate Restructuring and Governance in Transition Economies
$109.99
Moderne Arbeitsmethoden im Maschinenbau
$44.99
Advances in Cryptology - ASIACRYPT '91
$39.99
Mathematical Modelling in Education Research and Practice
$109.99
Beschftigungssystem und Arbeitsmarkt in der DDR
$74.99
Left Ventricular Hypertrophy
$84.99
Uncertainty Quantification in Scientific Computing
$54.99
TRAIL, Fas Ligand, TNF and TLR3 in Cancer
$169.99
Stabilization, Safety, and Security of Distributed Systems
$39.99
Perspectives in Mssbauer Spectroscopy
$54.99
Tubercular Drug Delivery Systems
$199.99
Tooth Wear
$169.99
Designing Educational Project and Program Evaluations
$219.99
Bevel Gear
$99.00
Landscape, Materiality and Heritage
$49.99
Numerical Methods and Constitutive Modelling in Geomechanics
$109.99
Zwischenbetriebliche Kooperation mit mySAP.com
$39.99
The Evolution of Public Management
$39.99
TMS 2020 149th Annual Meeting & Exhibition Supplemental Proceedings
$219.99
Quality Assurance Implementation in Research Labs
$109.99
Literary and Cultural Production, World-Ecology, and the Global Food System
$159.99
Wild Life LOL!: Llamas
$4.49
When VR Serious Games Meet Special Needs Education
$159.99
Marine Ecological Processes
$159.99
Erfolgreich Fhren in Transformationsprozessen
$19.99
Hydraulic Structures
$279.99
Zeitliche Schwankungen der Refraktionskonstante und Fernrohrbiegung
$54.99
Kundenorientierte Auftragsabwicklung
$64.99
Pathologie Kompakt
$59.99
Sexual Crime and Intellectual Functioning
$139.99
IP Networking over Next-Generation Satellite Systems
$219.99
Handbuch Gestaltung digitaler und vernetzter Arbeitswelten
$129.99
