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

Next Generation Talent Management

$39.99

Words, Music, and the Popular

$89.00

Bessel Polynomials

$29.99

The Butterfly Effect in Chinas Economic Growth

$109.99

Plant Cytogenetics and Cytogenomics

$299.99

Multi-Modality Imaging

$129.00

Guidelines for Laboratory Quality Managers

$89.00

Asylpolitik in der Bundesrepublik Deutschland

$44.99

Voluntary Action and Illegal Drugs

$39.99

Stochastische Theorien individuellen Wahlverhaltens

$69.99

Special Delivery

$4.46

Practice-Relevant Accrual Accounting for the Public Sector

$109.99

Europa nach der Krise

$19.99

French Socialism and Sexual Difference

$84.99

Warum Musik in unseren Genen liegt

$24.99

Statistical Models and Methods for Biomedical and Technical Systems

$169.99

Mobile Web and Intelligent Information Systems

$54.99

The Profession of Science Fiction

$39.99

The Basel II Risk Parameters

$59.99

Ergebnisse der Chirurgie und Orthopdie

$44.99

Self-Induced Fault of a Hydraulic Servo Valve

$54.99

Emerging Technologies for Education

$89.99

New Approaches to Discourse and Business Communication

$54.99

Gene Manipulation in Plant Improvement II

$54.99

Broad Scale Coastal Simulation

$109.99

Lessing und die Folgen

$24.99

Friendsgiving

$4.46

Strategy Formation and Policy Making in Government

$79.99

Feminism and Emotion

$54.99

Adaptive and Natural Computing Algorithms

$219.99

The Human Condition

$2.33

Healers and Empires in Global History

$139.99

Molecular Biology of Plant Viruses

$129.00

Die ffentlichkeiten der Erziehung

$39.99

Application of Clean Fuels in Combustion Engines

$169.99

The Health Status of Internal Migrants in China

$99.00

Turbo Coding

$169.99

Branded Spaces

$54.99

Software Configuration Management Using Vesta

$109.99

Biologically-Inspired Optimisation Methods

$249.99