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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
The Global, Regional and Local Politics of Institutional Responses to COVID-19
$139.99
Improving Reading and Reading Engagement in the 21st Century
$139.99
Modelling and Control of Mini-Flying Machines
$129.00
Circuit Synthesis with VHDL
$129.00
Die Indikationen zur Chirurgischen Behandlung von Lungenerkrankungen
$54.99
Patient Flow: Reducing Delay in Healthcare Delivery
$179.00
Advances in Intelligent Tutoring Systems
$219.99
Technische Messungen bei Maschinenuntersuchungen und im Betriebe
$59.99
Universal Subgoaling and Chunking
$129.00
Comics as Communication
$119.99
Variational Methods in Image Segmentation
$39.99
The World Almanac 5,001 Incredible Facts for Kids on Nature, Science, and People by World Almanac Kids
$17.99
Poetry and Sustainability in Education
$159.99
Institutional Conflicts and Complementarities
$109.99
Super Good Cookies for Kids by Duff Goldman
$23.99
Encyclopaedia of Mathematics
$219.99
Proceedings of the 2015 International Conference on Electrical and Information Technologies for Rail
$329.99
Trafficking in Women in the European Union
$54.99
Towards a Philosophy of Digital Media
$99.99
Economic Impact of EU Membership on Entrants
$109.99
Disney Princess 5-Minute Princess Stories by Disney Books
$12.99
Phonological Weakness in English
$109.99
Handbuch der Normalen und Pathologischen Physiologie
$59.99
A Practical Guide for Pediatric Nuclear Medicine
$59.99
Trainee-Knigge
$29.99
Generalized Nash Equilibrium Problems, Bilevel Programming and MPEC
$99.99
Direct Mail Fund Raising
$74.99
Equilibrium Statistical Physics
$39.99
Contemporary Treatment Techniques in Pediatric Dentistry
$139.99
Ireland and Cultural Theory
$39.99
Linguistic Structure in Language Processing
$219.99
Justifying Entrepreneurship
$119.00
A Practical Guide to Hybrid Natural Language Processing
$179.99
The Pathologic Physiology of Dementia
$39.99
Biological Effects of Magnetic Fields
$54.99
Bargeldlose Lohn- und Gehaltszahlung
$59.99
Taxing Soda for Public Health
$109.99
Psychologische Aspekte medizinischer Manahmen
$84.99
Informationsverarbeitung im Kundendienst
$49.99
Familienmedizin
$59.99
