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

St. James's Place Tax Guide 2014-2015

$39.99

Travel Writing and the Transnational Author

$54.99

Ergebnisse der Biologie / Advances in Biology

$64.99

Die kulturellen Grundlagen der Gesellschaft

$69.99

Gene Expression and Its Discontents

$189.00

Electromagnetic Biointeraction

$39.99

Pouchers Perfumes, Cosmetics and Soaps

$39.99

Neural Correlates of Quality Perception for Complex Speech Signals

$109.99

Brennschneiden

$59.99

Neural Computation and Psychology

$54.99

Conservation Agriculture: A Sustainable Approach for Soil Health and Food Security

$299.99

Ecology and Utilization of Desert Shrub Rangelands in Iraq

$219.99

Proceedings of the Eighteenth General Assembly

$219.99

Surface Science Techniques

$199.99

Pervasive Computing

$54.99

Politische Wissenschaft

$59.99

Basiswissen Public Relations

$49.99

Japanese Modality

$109.99

Writing the History of Mathematics: Its Historical Development

$109.99

Microglia in Health and Disease

$129.00

Supply Chain Collaboration

$109.99

Full Out: Lessons in Life and Leadership From Americas Favorite Coach by Monica Aldama

$17.99

Pairing-Based Cryptography - Pairing 2010

$39.99

Applying Computational Intelligence

$109.99

Learning and Intelligent Optimization

$39.99

Multicriteria Optimization and Engineering

$84.99

Rubber Science

$79.99

Stink and the Midnight Zombie Walk

$4.46

Beyond Cairo

$39.99

Rare Tumors in Children and Adolescents

$249.99

Differential Equations with Symbolic Computation

$169.99

Universal Biology after Aristotle, Kant, and Hegel

$129.99

Media and Genre

$159.99

Existenz semiuniverseller Deformationen in der komplexen Analysis

$59.99

Historical Etiquette

$129.99

Facility Location

$329.99

Microcomputer Control of Thermal and Mechanical Systems

$39.99

Special Functions, Probability Semigroups, and Hamiltonian Flows

$29.99

Rendering Techniques 2001

$109.99

Extrusion of Aluminium Alloys

$449.99