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

Underwater Acoustic Channel

$129.99

COVID-19: Gemeinsames Trauma, gemeinsame Resilienz

$79.99

The Dynamics and Complexities of Interracial Gay Families in South Africa: A New Frontier

$54.99

Innovation in Medicine and Healthcare 2015

$219.99

Black Women, Academe, and the Tenure Process in the United States and the Caribbean

$99.99

Emerging and Priority Pollutants in Rivers

$219.99

Principles of Parallel Scientific Computing

$49.99

Unternehmenskommunikation im Zeitalter der digitalen Transformation

$29.99

Mathematics of Kalman-Bucy Filtering

$54.99

Ambivalence and the Structure of Political Opinion

$54.99

Regulatory Peptides and Cognate Receptors

$169.00

Advances in Information and Computer Security

$39.99

100 Super Sight Word Poems

$11.24

Hybrid Machine Intelligence for Medical Image Analysis

$109.99

Transfer Prices and Management Accounting

$54.99

Negotiating Boundaries

$54.99

Exploring Education and Democratization in South Asia

$159.99

The Use and Utility of Ultimata in Coercive Diplomacy

$109.00

Multicomponent and Multiscale Systems

$39.99

U.S. Social Welfare Reform

$169.99

Robot Intelligence Technology and Applications 8

$219.99

Mei Lanfang and the Twentieth-Century International Stage

$54.99

Medikamentenmanagement in der ambulanten und stationren Altenpflege

$37.99

The Semantics of Gradability, Vagueness, and Scale Structure

$119.99

Kulturelle Anforderungen an das Markenmanagement im Profisport

$59.99

Organic Cation Transporters in the Central Nervous System

$169.99

Management Controlling and Governance of Family Businesses

$109.99

Transgenic Modification of Germline and Somatic Cells

$169.99

Molecular Beam Epitaxy

$79.99

Witchcraft in Early Modern Poland, 1500-1800

$139.99

Post-Soviet Literature and the Search for a Russian Identity

$119.99

International Policy Diffusion and Participatory Budgeting

$109.99

Buddenbrooks-Handbuch

$29.99

Social Innovations in the Urban Context

$59.99

Optimization and Inventory Management

$139.99

Klinische Untersuchungen zur Frage einer biologisch-prognostischen Einteilung der Astrozytome des Gr

$54.99

Integrating Europe

$129.00

Politics and the Military in Uganda, 18901985

$169.99

The Origins of Sociable Life: Evolution After Science Studies

$39.99

Analysis of Toeplitz Operators

$99.00