Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Verification: Theory and Practice

Verification: Theory and Practice

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540210023
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Complex, Intelligent, and Software Intensive Systems

$329.99

The Science of Construction Materials

$129.00

Io After Galileo

$189.00

Der Verkufer-Knigge

$49.99

Die wirtschaftlich gnstigste Spannung fr Fernbertragungen mittelst Freileitungen

$79.99

Inductive Logic Programming

$39.99

Implizites Vermitteln

$64.99

Neues Europa alte EU?

$59.99

Victorian Medicine and Social Reform

$109.99

The Valuation of Intangible Assets

$39.99

Proceedings of the 6th International Conference on Fundamental and Applied Sciences

$169.99

The Third Wave in Science and Technology Studies

$79.99

Boy-Crazy Stacey: A Graphic Novel (The Baby-Sitters Club #7) (Hardcover)

$18.74

Science, the Singular, and the Question of Theology

$54.99

Advances on Practical Applications of Agents and Multi-Agent Systems

$169.00

International Discord on Population and Development

$29.99

Plant Bioinformatics

$179.99

Higher Education Marketing in Africa

$109.99

Squished: A Graphic Novel

$9.74

Purinergic Regulation of Respiratory Diseases

$169.99

Chitin and Benzoylphenyl Ureas

$39.99

Technological Competition, Employment and Innovation Policies in OECD Countries

$109.99

Optische Computer

$44.99

The State and Capital Accumulation in Latin America

$109.99

Artificial Intelligence in Education

$109.99

5th International Colloquium on Transformer Research and Asset Management

$89.00

Energy Sustainability in Built and Urban Environments

$119.00

Kundenbindung in vertikalen Kontraktmarketingsystemen

$69.99

Proceedings of the 2nd International Civil Engineering and Architecture Conference

$249.99

Low Temperature Physics I / Kltephysik I

$54.99

Der kundenseitig wahrgenommene Wert der anbieter- und der kundengesteuerten Dienstleistungsindividua

$54.99

Environment and Narrative in Vietnam

$139.99

Circulating MicroRNAs

$169.99

Die Logik der Marke

$59.99

Street Teaching in the Tenderloin

$54.99

Yeast Genetics

$169.99

Biodegradability of Surfactants

$219.99

Planimetrie

$44.99

Individuelle und kulturelle Altersbilder

$39.95

Group and Ring Theoretic Properties of Polycyclic Groups

$39.99