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
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
