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

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

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

Similar Products

Trade Theory and Policy

$44.99

The Computer Animation Dictionary

$109.99

Phonologie

$29.99

Cardiovascular CT and MR Imaging

$84.99

Prediction and Calculation of Crystal Structures

$349.00

Frozen Section Library: Pancreas

$109.00

Epidemics of Plant Diseases

$84.99

High-dimensional Microarray Data Analysis

$139.99

Boundary Element Methods for Soil-Structure Interaction

$129.00

Surgery of Anorectal Diseases

$74.99

Probleme der Auftrags-Rinderhaltung durch Fulbe-Hirten (Peul) in Westafrika

$69.99

Integrierte Netzwerk- und Liquidittsplanung von Supply Chains

$59.99

A Box Can Be Many Things

$3.71

Bildung, Betreuung und Erziehung als neue Aufgabe der Politik

$59.99

Proceedings of the 2nd International Conference on Innovative Solutions in Hydropower Engineering an

$49.99

The Importance of Assent

$109.99

Aesthetic Surgery of the Eyelids

$39.99

Datenbankgesttztes Kosten- und Erlscontrolling

$59.99

Transformational Syntax and Model Theoretic Semantics

$109.99

Gonioscopy

$84.99

Betriebswirtschaftliche Steuerlehre und Steuerberatung

$59.99

Networking Infrastructure for Pervasive Computing

$129.00

From Disks to Planets

$159.99

Variational Formulation of Fluid and Geophysical Fluid Dynamics

$219.99

Russia's European Choice

$54.99

Moral Certainty and the Foundations of Morality

$109.99

Drug Policies and the Politics of Drugs in the Americas

$199.99

Person Perception and Attribution

$39.99

Startwissen Chemie

$24.99

OOIS96

$109.99

Islam in the West

$54.99

Football Fans and Social Spacing

$129.99

Advanced Digital System Design

$119.99

The Economics of Conservation Programs

$169.99

Landforms and Landscape Evolution of the Equatorial Margin of Northeast Brazil

$109.99

Integrated Optics

$119.99

Photonics of Biopolymers

$109.99

Structures and Organelles in Pathogenic Protists

$129.00

The Viscosity of Protoplasm

$54.99

The Concepts of Science

$54.99