Copied Verification: Theory and Practice
Verification: Theory and Practice
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.
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 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
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
