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
Advances in Soft Computing
$39.99
Computer Performance Engineering
$54.99
Economics of Institutional Change
$129.99
Was wird aus weiblichen Hilfsschulkindern?
$54.99
Introducing SQL Server
$54.99
Trends and Innovations in Information Systems and Technologies
$169.00
Conjuring Moments in African American Literature
$119.99
Implementation and Application of Functional Languages
$39.99
Inside the Great Mirror
$54.99
Architecting Dependable Systems VII
$54.99
From X-ray Binaries to Quasars: Black Holes on All Mass Scales
$139.00
Family Influence on Performance of Family and Enterprises
$129.99
The Story of International Relations, Part Three
$54.99
A Biochemical Approach to Nutrition
$54.99
The Nuclear Pore Complex
$169.00
Cancer Markers
$219.99
PRedictive Intelligence in MEdicine
$54.99
Reibung in Antrieb und Fahrzeug 2018
$89.00
From Attention to Goal-Directed Behavior
$219.99
Stalin's Cold War
$54.99
Qu ests haciendo?
$5.21
Multiple-Photon Excitation and Dissociation of Polyatomic Molecules
$109.99
Computational Approaches for Chemistry Under Extreme Conditions
$109.00
Chinese Immigration and Australian Politics
$129.99
Metastasis Research Protocols
$109.99
Bestimmung des Diffusionskoeffizienten von Kalium in Kupfer
$59.99
Attribute Grammar Inversion and Source-to-source Translation
$39.99
Basic Relativity
$49.99
Politische Theorie im Film
$59.99
Trends in Differential Equations and Applications
$84.99
Devisenmrkte und Wechselkurse
$74.99
Public Confidence in Criminal Justice
$54.99
Graduate Study for the Twenty-First Century
$19.99
HF Communications: A Systems Approach
$109.99
NBS/NRC Wasserdampftafeln
$69.99
Die Wettbewerbsstellung des Heizls in der westdeutschen Energiewirtschaft
$59.99
Aktienanalyse und Anlegerverhalten
$69.99
Untersuchungen ber den Grad der subjektiv gegebenen Beanspruchung bei krperlicher Arbeit
$59.99
Wandel von der Telekommunikation zu Unified Communications
$59.99
Advanced Parallel Processing Technologies
$54.99
