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 |
|
$76.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Personalized Orthopedics
$279.99
Die Bedeutung impliziten Wissens im Innovationsprozess
$59.99
Limiting Outer Space
$109.00
Ready-To-Go 2 25 Book Classroom Library: Independent Reading, Grade 1
$115.00
Developments in Language Theory
$54.99
Theorien der Kosmologie
$64.99
Drug Discovery from Mother Nature
$169.99
Medicinal Plants for Lung Diseases
$199.99
The Quest for Aqua Vitae
$64.99
Transparency in Public Policy
$54.99
DNA Nanotechnology
$259.00
Agent-Mediated Electronic Commerce III
$39.99
Modern Antennas
$74.99
Rechnungslegung von Finanzinstrumenten
$79.99
The Management of Change in Government
$219.99
Deep Learners and Deep Learner Descriptors for Medical Applications
$109.99
Konstitutionalisierung im Vlkerrecht
$159.00
Entzndung Entzndungsbereitschaft und Immunitt
$59.99
Frherkennung des Collumcarcinoms
$59.99
Psychosomatisches Handeln in der Allgemeinmedizin
$69.99
The Cold War and the 1984 Olympic Games
$39.99
53. Jahrestagung der Deutschen Gesellschaft fr Unfallheilkunde e.V
$59.99
Design, Analysis and Application of Magnetless Doubly Salient Machines
$54.99
Decision Making in Emergency Medicine
$84.99
ber Arzneispezialitten
$54.99
Children, Gender and Families in Mediterranean Welfare States
$84.99
Membrane Transporters in Drug Discovery and Development
$84.99
Strabismus A Neurodevelopmental Approach
$84.99
C++
$59.99
Elements of the Swiss Market for Electricity
$109.99
Peppa Pig: Peppa's Chinese New Year
$5.24
Warentest und Konsumgter-Marketing
$59.99
Contractual Communities in the Self-Organising City
$39.99
Chinas Intellectual Property Regime for Innovation
$139.99
Pervasive Computing Technologies for Healthcare
$109.99
Traders at Work
$37.99
Vorurteilsbereitschaft und autoritres Verhalten
$74.99
Model and Design of Bipolar and MOS Current-Mode Logic
$129.00
Regenerative Rehabilitation
$199.99
Disaster Policy Implementation
$84.99
