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
Trade Theory and Policy
$44.99
The Computer Animation Dictionary
$109.99
Phonologie
$29.99
Cardiovascular CT and MR Imaging
$84.99
Prediction and Calculation of Crystal Structures
$349.00
Frozen Section Library: Pancreas
$109.00
Epidemics of Plant Diseases
$84.99
High-dimensional Microarray Data Analysis
$139.99
Boundary Element Methods for Soil-Structure Interaction
$129.00
Surgery of Anorectal Diseases
$74.99
Probleme der Auftrags-Rinderhaltung durch Fulbe-Hirten (Peul) in Westafrika
$69.99
Integrierte Netzwerk- und Liquidittsplanung von Supply Chains
$59.99
A Box Can Be Many Things
$3.71
Bildung, Betreuung und Erziehung als neue Aufgabe der Politik
$59.99
Proceedings of the 2nd International Conference on Innovative Solutions in Hydropower Engineering an
$49.99
The Importance of Assent
$109.99
Aesthetic Surgery of the Eyelids
$39.99
Datenbankgesttztes Kosten- und Erlscontrolling
$59.99
Transformational Syntax and Model Theoretic Semantics
$109.99
Gonioscopy
$84.99
Betriebswirtschaftliche Steuerlehre und Steuerberatung
$59.99
Networking Infrastructure for Pervasive Computing
$129.00
From Disks to Planets
$159.99
Variational Formulation of Fluid and Geophysical Fluid Dynamics
$219.99
Russia's European Choice
$54.99
Moral Certainty and the Foundations of Morality
$109.99
Drug Policies and the Politics of Drugs in the Americas
$199.99
Person Perception and Attribution
$39.99
Startwissen Chemie
$24.99
OOIS96
$109.99
Islam in the West
$54.99
Football Fans and Social Spacing
$129.99
Advanced Digital System Design
$119.99
The Economics of Conservation Programs
$169.99
Landforms and Landscape Evolution of the Equatorial Margin of Northeast Brazil
$109.99
Integrated Optics
$119.99
Photonics of Biopolymers
$109.99
Structures and Organelles in Pathogenic Protists
$129.00
The Viscosity of Protoplasm
$54.99
The Concepts of Science
$54.99
