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
Linked Data in Linguistics
$54.99
Women in MathArt
$129.99
Oil Pollution and Marine Ecology
$54.99
Pseudomonas
$169.00
Banken, Erfolg und Finanzierung
$49.99
An Atlas of Mammalian Chromosomes
$39.99
Practical Liquid Chromatography
$39.99
Toward Consilience
$109.99
Money, Politics and 1992
$109.99
Metadata Management in Statistical Information Processing
$54.99
In Silico Tools for Gene Discovery
$169.99
Louis Vuitton - Extraordinary Voyages by Francisca Matteoli
$75.00
The Transatlantic Circulation of Novels Between Europe and Brazil, 1789-1914
$99.99
Learning and Collaboration Technologies
$49.99
Building Credible Central Banks
$109.99
Liquor Hirnpunktion Rntgenologie
$59.99
Purpose-driven Organizations
$23.00
Politics of Violence and Fear in MENA
$129.99
Machine Learning
$64.99
Multimodal Imaging in Neurology
$19.99
Bahrain from the Twentieth Century to the Arab Spring
$54.99
Medical Ethics in Clinical Practice
$99.99
Conceptions of God, Freedom, and Ethics in African American and Jewish Theology
$39.99
Modern Energy Markets
$109.99
Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications (Vol. IV)
$199.99
Yrsn of Iran, Socio-Political Changes and Migration
$109.99
Bolshevik Party in Conflict
$54.99
Struma maligna
$59.99
Applied Intelligence and Informatics
$99.99
Structure and Dynamics of Elementary Matter
$219.99
A Brief Introduction to Continuous Evolutionary Optimization
$54.99
Komplexe Natur Komplexe Wissenschaft
$49.99
Perspektiven des Romans: Raum, Zeit, Gesellschaft
$74.99
Combinatorial Heuristic Algorithms with FORTRAN
$54.99
Bargain Book Box Grades 7-9 (100 Books)
$235.00
Machine Learning Techniques for Smart City Applications: Trends and Solutions
$169.99
The Erotics of Passage
$54.99
Das Checklistenbuch
$69.99
Landscape Empowerment
$169.99
Thermodynamik der Gemische
$79.99
