Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

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.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

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
@ Link.springer.com
$39.99 $39.99

10% OFF
This deals requires coupon
$36.00
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783519003366
Condition
New
Product Description

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.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Doing Business in Emerging Europe

Doing Business in Emerging Europe

$84.99
Agriculturally Important Fungi for Sustainable Agriculture

Agriculturally Important Fungi for Sustainable Agriculture

$129.00
Double-Stranded RNA

Double-Stranded RNA

$179.99
Neural Networks

Neural Networks

$39.99
Xbooks-Strange: UFO Landing

Xbooks-Strange: UFO Landing

$5.21
Information Systems Design and Intelligent Applications

Information Systems Design and Intelligent Applications

$169.99
Automated Theorem Proving in Software Engineering

Automated Theorem Proving in Software Engineering

$54.99
Freedom and Value

Freedom and Value

$84.99
Die Dauerfestigkeit der Werkstoffe und der Konstruktionselemente

Die Dauerfestigkeit der Werkstoffe und der Konstruktionselemente

$59.99
Irrsinnig weiblich - Psychische Krisen im Frauenleben

Irrsinnig weiblich - Psychische Krisen im Frauenleben

$54.99
Real World Applications of Computational Intelligence

Real World Applications of Computational Intelligence

$129.00
Classic Chapter Book Collection (Pokemon) by S.e. Heller

Classic Chapter Book Collection (Pokemon) by S.e. Heller

$39.92
Permutation, Parametric, and Bootstrap Tests of Hypotheses

Permutation, Parametric, and Bootstrap Tests of Hypotheses

$149.00
Plurality and Continuity

Plurality and Continuity

$109.99
Ablaufplanung mit gemeinsamen Due-Dates

Ablaufplanung mit gemeinsamen Due-Dates

$59.99
Gentrification

Gentrification

$59.99
Contemporary Treatment Techniques in Pediatric Dentistry

Contemporary Treatment Techniques in Pediatric Dentistry

$139.99
Taxes and Unemployment

Taxes and Unemployment

$109.99
Conscious Business in Deutschland

Conscious Business in Deutschland

$89.99
The Treaty on European Union (TEU)

The Treaty on European Union (TEU)

$189.00
The Electronics Revolution

The Electronics Revolution

$34.99
Jahresbericht ber die Beobachtungs-Ergebnisse

Jahresbericht ber die Beobachtungs-Ergebnisse

$59.99
Digital Diplomacy in the OSCE Region

Digital Diplomacy in the OSCE Region

$119.99
Cleaning and Corporate Management

Cleaning and Corporate Management

$99.00
Kulturelles Kapital in der Migration

Kulturelles Kapital in der Migration

$39.99
Adapting the United Nations to a Post-Modern Era

Adapting the United Nations to a Post-Modern Era

$109.99
Disquisitiones Arithmeticae

Disquisitiones Arithmeticae

$219.99
Shaping the Future of Education, Communication and Technology

Shaping the Future of Education, Communication and Technology

$169.99
Agriculture and Air Quality

Agriculture and Air Quality

$199.99
52. Jahrestagung der Deutschen Gesellschaft fr Unfallheilkunde e.V

52. Jahrestagung der Deutschen Gesellschaft fr Unfallheilkunde e.V

$69.99
Vascular Anatomy of the Spinal Cord

Vascular Anatomy of the Spinal Cord

$84.99
History of Ophthalmology 1

History of Ophthalmology 1

$39.99
Soft Computing in Software Engineering

Soft Computing in Software Engineering

$129.00
Lectures on Petri Nets II: Applications

Lectures on Petri Nets II: Applications

$39.99
Robuste Ratingverfahren

Robuste Ratingverfahren

$74.99
Informatik als Dialog zwischen Theorie und Anwendung

Informatik als Dialog zwischen Theorie und Anwendung

$69.99
High-Energy Physics in the Einstein Centennial Year

High-Energy Physics in the Einstein Centennial Year

$39.99
Natural Language Interfaces to Databases

Natural Language Interfaces to Databases

$44.99
American Progress

American Progress

$19.99
Marketing in Transition: Scarcity, Globalism, & Sustainability

Marketing in Transition: Scarcity, Globalism, & Sustainability

$84.99
previous
next