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
Reading Sensations in Early Modern England
$54.99
Repetitorium Mikrokonomik
$39.99
Workflow-based Integration
$29.99
Its Stochastic Calculus and Probability Theory
$54.99
Mikrostrukturbasierte Bewertung des Korrosionsermdungsverhaltens der Magnesiumlegierungen DieMag422
$64.99
Fairness und Fairplay
$39.99
Designing Sustainability for All
$59.99
Applications of Pulse-Coupled Neural Networks
$109.99
Coral Reef Ecology
$139.99
The Study of Literature and Religion
$109.99
Strain Mechanisms in Lead-Free Ferroelectrics for Actuators
$109.99
Frontiers in Computing Technologies for Manufacturing Applications
$129.00
Novel Mechanisms of Memory
$109.99
The Ocean Basins and Margins
$39.99
Events und Marke
$69.99
Bahnbau
$49.99
Detection and Typing Strategies for Pathogenic Escherichia coli
$39.99
U.S. and West German Housing Markets
$39.99
Pauls Gentile-Jews
$54.99
Plant Stress Tolerance
$89.00
Ethics of Human Rights
$169.99
Biosynthesis
$39.99
Biomechatronics in Medical Rehabilitation
$159.99
Water, Energy & Food Sustainability in the Middle East
$129.99
Imaging for Pediatricians
$39.99
Feedback Control of Linear and Nonlinear Systems
$39.99
Multicriteria and Clustering
$54.99
Sepsis nach Angina
$59.99
Practical Hadoop Security
$49.99
A Dirty Window
$149.00
NATO in Contemporary Times
$59.99
Haare
$109.00
Wahrnehmung und Aufmerksamkeit
$19.99
Rechnergesttzte und graphische Planung manueller und teilautomatisierter Arbeitspltze
$59.99
Topological Aspects of the Dynamics of Fluids and Plasmas
$329.99
ber die Demokratie in Brasilien
$59.99
Tagesbetreuung im Wandel
$29.99
Strategisches Verhalten bei Reorganisationen
$59.99
A Cultural History of Spanish Speakers in Japan
$109.99
Numerical Simulation and Experimental Investigation of the Fracture Behaviour of an Electron Beam We
$84.99
