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

MetaSoft Primer

MetaSoft Primer

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540480433
Condition
New
Product Description

The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and where jumps are described without continuations. This approach has emerged as a reaction to the sophisticated model of traditional semantics. It was also strongly stimulated by the applications of denotational semantics and especially by its software-industry oriented version known as VDM (Vienna Development Method). The new approach was successfully tested on several examples. Based on this approach the Polish Academy of Sciences created the project MetaSoft aimed at the development of a definitional metalanguage for software engineering. The approach has also been chosen in the project RAISE (ESPRIT) which aims at a similar goal. The book consists of two parts. Part One is devoted to the mathematical foundations of the future definitional metalanguage of MetaSoft. This part also introduces an appropriate notation. Part Two shows the applications of this metalanguage. There the denotational definition of a subset of Pascal is discussed with particular emphasis on Pascal types.

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

Fortschritte der Chemie organischer Naturstoffe / Progress in the Chemistry of Organic Natural Produ

$84.99

Global Activism and Humanitarian Disarmament

$139.99

Kennzeichen und Wandel der Politikberichterstattung im Boulevardjournalismus

$59.99

Internet-Security aus Software-Sicht

$29.99

I Can Do It

$3.71

Speech Perception, Production and Acquisition

$119.00

Learn Computer Science with Swift

$29.99

Star Wars Legends Epic Collection- The Menace Revealed Vol. 3 By John Ostrander

$39.99

The Princess and the Pea: 6-Book Set

$21.95

Ideas and European Education Policy, 1973-2020

$119.99

ber die Beeinflussung der Passivierbarkeit aktiver Metalle durch Zulegieren von Chrom und Nickel

$59.99

Die GmbH & Co. KG in der Praxis

$44.99

Diagnose, Behandlung und Prognose der Traumatischen Hmatome des Schdelinneren

$59.99

Adhesion Molecules: Function and Inhibition

$219.99

A Duck Called Brian

$5.24

Emerging Technologies for the Classroom

$89.00

konomische Theorie der Politik

$69.99

Machine Learning for Cyber-Physical Systems

$49.99

Regieren in Koalitionen

$64.99

Primary Knee Arthroplasty

$39.99

Spectral Methods for Uncertainty Quantification

$79.99

The Impact of Biotechnology on Agriculture

$39.99

La philosophie contemporaine / Contemporary philosophy

$329.99

Strategies for Team Science Success

$169.99

Artificial Intelligence (AI) and Customer Social Responsibility (CSR)

$279.99

Stratigraphy and Paleolimnology of the Green River Formation, Western USA

$84.99

Konfliktvisualisierung im kooperativen Entwurf

$49.99

Going to War

$54.99

A Civil-Military Response to Hybrid Threats

$219.99

Praktische Stanzerei Ein Buch fr Betrieb und Bro mit Aufgaben und Lsungen

$59.99

Photomechanik fr den Stein- und Offsetdruck

$59.99

Grundzge der Starkstromtechnik

$59.99

Information Retrieval Technology

$39.99

Selecta

$79.95

The CRC Handbook of Thermal Engineering

$219.99

Invertebrates in Hot and Cold Arid Environments

$109.99

Entwurf und Strukturtheorie von Steuerungen fr Fertigungseinrichtungen

$84.99

Die Funktionsdiagnostik der behinderten Nasenatmung

$79.99

Mathematical and Numerical Approaches for Multi-Wave Inverse Problems

$109.99

Management von Marktpreis- und Ausfallrisiken

$59.99