Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Semantik und Programmverifikation

Semantik und Programmverifikation

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
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Linked Data in Linguistics

$54.99

Women in MathArt

$129.99

Oil Pollution and Marine Ecology

$54.99

Pseudomonas

$169.00

Banken, Erfolg und Finanzierung

$49.99

An Atlas of Mammalian Chromosomes

$39.99

Practical Liquid Chromatography

$39.99

Toward Consilience

$109.99

Money, Politics and 1992

$109.99

Metadata Management in Statistical Information Processing

$54.99

In Silico Tools for Gene Discovery

$169.99

Louis Vuitton - Extraordinary Voyages by Francisca Matteoli

$75.00

The Transatlantic Circulation of Novels Between Europe and Brazil, 1789-1914

$99.99

Learning and Collaboration Technologies

$49.99

Building Credible Central Banks

$109.99

Liquor Hirnpunktion Rntgenologie

$59.99

Purpose-driven Organizations

$23.00

Politics of Violence and Fear in MENA

$129.99

Machine Learning

$64.99

Multimodal Imaging in Neurology

$19.99

Bahrain from the Twentieth Century to the Arab Spring

$54.99

Medical Ethics in Clinical Practice

$99.99

Conceptions of God, Freedom, and Ethics in African American and Jewish Theology

$39.99

Modern Energy Markets

$109.99

Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications (Vol. IV)

$199.99

Yrsn of Iran, Socio-Political Changes and Migration

$109.99

Bolshevik Party in Conflict

$54.99

Struma maligna

$59.99

Applied Intelligence and Informatics

$99.99

Structure and Dynamics of Elementary Matter

$219.99

A Brief Introduction to Continuous Evolutionary Optimization

$54.99

Komplexe Natur Komplexe Wissenschaft

$49.99

Perspektiven des Romans: Raum, Zeit, Gesellschaft

$74.99

Combinatorial Heuristic Algorithms with FORTRAN

$54.99

Bargain Book Box Grades 7-9 (100 Books)

$235.00

Machine Learning Techniques for Smart City Applications: Trends and Solutions

$169.99

The Erotics of Passage

$54.99

Das Checklistenbuch

$69.99

Landscape Empowerment

$169.99

Thermodynamik der Gemische

$79.99