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

The Language of Self-Avoiding Walks

The Language of Self-Avoiding Walks

$69.99
Maritime Prehistory of Northeast Asia

Maritime Prehistory of Northeast Asia

$109.99
Zertifizierung als Erfolgsfaktor

Zertifizierung als Erfolgsfaktor

$74.99
Random Walks and Diffusions on Graphs and Databases

Random Walks and Diffusions on Graphs and Databases

$79.99
Perspectives in Business Informatics Research

Perspectives in Business Informatics Research

$54.99
Nibelungenlied

Nibelungenlied

$17.99
Therapeutic Approaches in Cancer Treatment

Therapeutic Approaches in Cancer Treatment

$119.00
Sturz und Riss

Sturz und Riss

$59.99
Listen, Bume und Graphen als Objekte

Listen, Bume und Graphen als Objekte

$59.99
Constraint Solving and Planning with Picat

Constraint Solving and Planning with Picat

$39.99
Water Scarcity in the American West

Water Scarcity in the American West

$79.99
Descriptive Data Mining

Descriptive Data Mining

$89.00
The Analysis of Power

The Analysis of Power

$109.99
The Science of Reading in Practice Series Grades K-2 Bundle

The Science of Reading in Practice Series Grades K-2 Bundle

$161.96
My First Fairy Tales: Little Red Riding Hood

My First Fairy Tales: Little Red Riding Hood

$4.46
Group Decision Making under Multiple Criteria

Group Decision Making under Multiple Criteria

$109.99
Tourism and Sustainable Economic Development

Tourism and Sustainable Economic Development

$109.99
To Seek Out New Worlds

To Seek Out New Worlds

$54.99
Schwelgen drft ihr

Schwelgen drft ihr

$69.99
Structural Adjustment in Africa

Structural Adjustment in Africa

$169.99
Gapmers

Gapmers

$219.99
Grab and Go Pack Theme 2: Social-Emotional Development Grades 6-8 Spanish

Grab and Go Pack Theme 2: Social-Emotional Development Grades 6-8 Spanish

$29.95
The Craft of Editing

The Craft of Editing

$37.99
Multifocal Intraocular Lenses

Multifocal Intraocular Lenses

$119.99
Community Schools in Africa

Community Schools in Africa

$54.99
Geomagnetism and Palaeomagnetism

Geomagnetism and Palaeomagnetism

$39.99
Konsens als normatives Prinzip der Demokratie

Konsens als normatives Prinzip der Demokratie

$49.99
Critical Psychotherapy, Psychoanalysis and Counselling

Critical Psychotherapy, Psychoanalysis and Counselling

$99.99
Fungi in Extreme Environments: Ecological Role and Biotechnological Significance

Fungi in Extreme Environments: Ecological Role and Biotechnological Significance

$109.99
Psychopharmacogenetics

Psychopharmacogenetics

$129.00
Downy Mildew Disease of Crucifers: Biology, Ecology and Disease Management

Downy Mildew Disease of Crucifers: Biology, Ecology and Disease Management

$169.99
The International Migration of Health Workers

The International Migration of Health Workers

$54.99
Framing Privacy in Digital Collections with Ethical Decision Making

Framing Privacy in Digital Collections with Ethical Decision Making

$59.99
High-Throughput Screening Assays in Toxicology

High-Throughput Screening Assays in Toxicology

$179.99
Irrigation Water Management for Agricultural Development in Uttar Pradesh, India

Irrigation Water Management for Agricultural Development in Uttar Pradesh, India

$169.99
Multiphoton and Light Driven Multielectron Processes in Organics: New Phenomena, Materials and Appli

Multiphoton and Light Driven Multielectron Processes in Organics: New Phenomena, Materials and Appli

$219.99
Critical Discourse Analysis, Critical Discourse Studies and Beyond

Critical Discourse Analysis, Critical Discourse Studies and Beyond

$109.99
Transnational Lives in China

Transnational Lives in China

$54.99
Blood cells in nuclear medicine, part I

Blood cells in nuclear medicine, part I

$54.99
Gender Justice, Education and Equality

Gender Justice, Education and Equality

$99.99
previous
next