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 Africa

Doing Business in Africa

$199.99
Seasonal Adjustment with the X-11 Method

Seasonal Adjustment with the X-11 Method

$129.99
Waves in Nonlinear Pre-Stressed Materials

Waves in Nonlinear Pre-Stressed Materials

$84.99
An Introduction to Chemoinformatics

An Introduction to Chemoinformatics

$99.99
Dynamics of Nutrient Cycling and Food Webs

Dynamics of Nutrient Cycling and Food Webs

$109.99
Introduction to Fluid-Structure Interactions

Introduction to Fluid-Structure Interactions

$169.99
Anwendung der Hochtemperaturgasphasenwaage zur Untersuchung der Phasenbildung

Anwendung der Hochtemperaturgasphasenwaage zur Untersuchung der Phasenbildung

$39.99
Einleitung in die Theorie der Invarianten linearer Transformationen auf Grund der Vektorenrechnung

Einleitung in die Theorie der Invarianten linearer Transformationen auf Grund der Vektorenrechnung

$59.99
Ethics in Reproductive Medicine

Ethics in Reproductive Medicine

$39.99
Stakeholder Relationships And Sustainability

Stakeholder Relationships And Sustainability

$59.99
Cardiac Dysfunction in Chronic Uremia

Cardiac Dysfunction in Chronic Uremia

$169.00
Technik der magnetischen Videosignalaufzeichnung

Technik der magnetischen Videosignalaufzeichnung

$69.99
Robustness in Identification and Control

Robustness in Identification and Control

$84.99
A Variational Basis for the Regulation and Structuration Mechanisms of Agent Societies

A Variational Basis for the Regulation and Structuration Mechanisms of Agent Societies

$109.99
Complex Pattern Mining

Complex Pattern Mining

$179.99
Knstliche Intelligenz in Bild- und Sprachanalyse

Knstliche Intelligenz in Bild- und Sprachanalyse

$69.99
Electrophysiology of the Central Nervous System

Electrophysiology of the Central Nervous System

$54.99
Algebraic Design Theory and Hadamard Matrices

Algebraic Design Theory and Hadamard Matrices

$109.99
Emotionale Intelligenz und Verkaufsperformance

Emotionale Intelligenz und Verkaufsperformance

$64.99
Business Process Management

Business Process Management

$109.99
Treks into Intuitive Geometry

Treks into Intuitive Geometry

$49.99
Russian Drama of the Revolutionary Period

Russian Drama of the Revolutionary Period

$39.99
Fraud Prevention in Online Digital Advertising

Fraud Prevention in Online Digital Advertising

$49.99
Discourse Ontology

Discourse Ontology

$99.99
Computational Intelligence and Mathematics for Tackling Complex Problems

Computational Intelligence and Mathematics for Tackling Complex Problems

$109.00
Elementare Analysis

Elementare Analysis

$29.99
Th 17 Cells: Role in Inflammation and Autoimmune Disease

Th 17 Cells: Role in Inflammation and Autoimmune Disease

$149.00
Water Resources and Environmental Engineering I

Water Resources and Environmental Engineering I

$129.00
Post-&A-Schiedsverfahren

Post-&A-Schiedsverfahren

$84.99
Fhren in Teilzeit

Fhren in Teilzeit

$49.99
The Political Economy of Rent-Seeking

The Political Economy of Rent-Seeking

$219.99
Atlas of Implantable Therapies for Pain Management

Atlas of Implantable Therapies for Pain Management

$249.99
EMI/EMC Computational Modeling Handbook

EMI/EMC Computational Modeling Handbook

$249.99
Optimierte Zielgruppenansprache

Optimierte Zielgruppenansprache

$59.99
Dienstleistungsproduktivitt

Dienstleistungsproduktivitt

$119.99
Descartes on Polyhedra

Descartes on Polyhedra

$119.99
Patterns of Software Construction

Patterns of Software Construction

$54.99
Normaler und hoher Blutdruck und kardiovaskulre Mortalitt bei verschiedenen Vlkern

Normaler und hoher Blutdruck und kardiovaskulre Mortalitt bei verschiedenen Vlkern

$44.99
Sustainable Operations Strategies

Sustainable Operations Strategies

$54.99
Proben mathematischen Denkens

Proben mathematischen Denkens

$59.99
previous
next