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

East/West Trade and the GATT System

$44.99

The Gift - 14 Lessons to Save Your Life by Edith Eva Eger

$25.00

Bioinspired Approaches for Human-Centric Technologies

$169.99

Sustainability, Stakeholders and Marketing in the Textile Sector

$129.00

Fertigungsverfahren 4

$89.99

Manual of Cementing Technique

$39.99

World Congress on Medical Physics and Biomedical Engineering September 7 - 12, 2009 Munich, Germany

$219.99

Dynamic Firm and Investor Behaviour under Progressive Personal Taxation

$54.99

Human-Computer Interaction: Towards Intelligent and Implicit Interaction

$39.99

Statistik fr Bachelor- und Masterstudenten

$39.99

Plant Proteomics

$219.99

Dissimulation and Deceit in Early Modern Europe

$89.99

Ariana et Athanasiana

$59.99

Gibbs Random Fields

$39.99

Empfehlungen und Resolutionen

$59.99

Arzneiverordnungs-Report 2006

$44.99

Feindbilder und Verstndigung

$39.95

Assistive Technology

$109.99

Deutsche Gegenreformation und deutsches Barock

$89.99

Logische Syntax der Sprache

$59.99

Interpolation of Spatial Data

$159.99

The Bright Side and the Dark Side of Patient Empowerment

$54.99

Adoptive Management Innovation

$109.99

Generative Fertigung mit Kunststoffen

$89.99

World Trade and Local Public Interest

$139.00

Die Royal Society. Probleme der wissenschaftlichen Forschung in der Sdafrikanischen Union

$59.99

Data Privacy Management and Autonomous Spontaneous Security

$54.99

Peptidomimetics Protocols

$84.99

Berufsbiographie und chronische Krankheit

$59.99

Handbook of Massive Data Sets

$629.00

Supply Management Research

$44.99

Neue Entwicklungen im Rechnungswesen

$44.99

Analytical Ultracentrifugation

$84.99

Ueber das deutsche Bevlkerungsproblem

$59.99

Toward an Anthropology of Graphing

$109.99

Einfhrung in UNIX

$69.99

Psychiatric Disorders Late in Life

$169.99

Super Student!

$4.46

Random-Like Bi-level Decision Making

$39.99

Personalising Learning in Open-Plan Schools

$39.99