Copied Semantik und Programmverifikation
Semantik und Programmverifikation
Dieses Buch behandelt Grundkonzepte der Programmiersprachensemantik anhand einer einfachen funktionalen Programmiersprache. Darauf aufbauend werden die Aufgaben und Probleme bei Nachweis von totaler und partieller Korrektheit einfacher funktionaler Programme behandelt. Insbesondere wird der Bezug zwischen Programmiersprachensematik und formaler Logik illustriert. Prinzipielle Grenzen der "automatischen" Verifikation werden untersucht und die praktische Relevanz dieser Grenzen wird diskutiert.
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
|
|
$39.99 | $39.99 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Next Generation Talent Management
$39.99
Words, Music, and the Popular
$89.00
Bessel Polynomials
$29.99
The Butterfly Effect in Chinas Economic Growth
$109.99
Plant Cytogenetics and Cytogenomics
$299.99
Multi-Modality Imaging
$129.00
Guidelines for Laboratory Quality Managers
$89.00
Asylpolitik in der Bundesrepublik Deutschland
$44.99
Voluntary Action and Illegal Drugs
$39.99
Stochastische Theorien individuellen Wahlverhaltens
$69.99
Special Delivery
$4.46
Practice-Relevant Accrual Accounting for the Public Sector
$109.99
Europa nach der Krise
$19.99
French Socialism and Sexual Difference
$84.99
Warum Musik in unseren Genen liegt
$24.99
Statistical Models and Methods for Biomedical and Technical Systems
$169.99
Mobile Web and Intelligent Information Systems
$54.99
The Profession of Science Fiction
$39.99
The Basel II Risk Parameters
$59.99
Ergebnisse der Chirurgie und Orthopdie
$44.99
Self-Induced Fault of a Hydraulic Servo Valve
$54.99
Emerging Technologies for Education
$89.99
New Approaches to Discourse and Business Communication
$54.99
Gene Manipulation in Plant Improvement II
$54.99
Broad Scale Coastal Simulation
$109.99
Lessing und die Folgen
$24.99
Friendsgiving
$4.46
Strategy Formation and Policy Making in Government
$79.99
Feminism and Emotion
$54.99
Adaptive and Natural Computing Algorithms
$219.99
The Human Condition
$2.33
Healers and Empires in Global History
$139.99
Molecular Biology of Plant Viruses
$129.00
Die ffentlichkeiten der Erziehung
$39.99
Application of Clean Fuels in Combustion Engines
$169.99
The Health Status of Internal Migrants in China
$99.00
Turbo Coding
$169.99
Branded Spaces
$54.99
Software Configuration Management Using Vesta
$109.99
Biologically-Inspired Optimisation Methods
$249.99
