Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Semantik und Programmverifikation
Best Price (Coupon Required):
Buy Semantik und Programmverifikation for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Popular Agency and Politicisation in Nineteenth-Century Europe
$139.99
Software Engineering im Unterricht der Hochschulen SEUH 92 und Studienfhrer Software Engineering
$69.95
Renewable Energy for Unleashing Sustainable Development
$84.99
Advances in Combinatorics
$109.99
Mdchen fragen Mtter wissen
$14.99
Zur Analyse teratogener Faktoren mit besonderer Bercksichtigung der Thalidomid-Embryopathie
$59.99
Sorptions-Kltemaschinen
$99.00
Micro-ISV
$39.99
The Hamburg Lectures on Maritime Affairs 2011-2013
$54.99
Chemistry by Computer
$39.99
Nachtragsmanagement in der Baupraxis
$29.99
Dmitri Sergeevich Merezhkovsky and the Silver Age
$54.99
Mathematische Grundlagen des berwachten maschinellen Lernens
$19.99
Mouse At Night
$3.71
Slow Synaptic Responses and Modulation
$54.99
Goethes Rmische Elegien
$39.99
The Paradox of Catching Up
$84.99
I Need a Hug (Hardcover)
$11.24
Beyond Virtue
$169.99
Web Information Systems Engineering
$64.99
Multilingualism and Multimodality
$49.99
Sleep Disorders in Psychiatric Patients
$139.99
Heat Capacities of Linear High Polymers
$84.99
Properative Konditionierung des viszeralchirurgischen Risikopatienten
$49.99
Antibody-Drug Conjugates and Immunotoxins
$169.99
Phonics Chapter Book - Level 1: Let's Go on a Museum Hunt
$6.74
Freshwater and Marine Ecology
$109.99
Low density cellular plastics
$279.99
From Places
$39.99
Untersuchung zur trockenen Hochtemperaturkorrosion von technisch genutzten Titanbasislegierungen
$79.99
Non-spectral Asymptotic Analysis of One-Parameter Operator Semigroups
$39.99
Die Wasserbindung an Tonen und ihre Bedeutung fr die Festigkeit des Gieereiformsandes
$59.99
Gender and Class Consciousness
$44.99
Advances in Artificial Intelligence
$39.99
Free Radical Reactions in Medicine
$84.99
Objektorientiertes Design fr C++
$59.99
Complex System Reliability
$129.00
Interorganisatorische Informationssysteme
$59.99
Environmental Effects of Off-Road Vehicles
$84.99
Dragon Masters: Rise of the Earth Dragon (#1)
$4.49
