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

Names, Ethnicity and Populations

$84.99

Der Kampf um das tgliche Brot

$44.99

Einfhrung in die Allgemeine Konstitutions- und Vererbungspathologie

$69.95

Women and the Politics of Resistance in the Iranian Constitutional Revolution

$39.99

Advanced Machining and Manufacturing Processes

$159.99

Chemical Evolution from Zero to High Redshift

$84.99

Eva and Baby Mo: A Branches Book (Owl Diaries #10)

$5.24

The Gulf War Aftermath

$39.99

The Economics of Crowdfunding

$139.00

Fertilizer Manual

$219.99

Python for SAS Users

$39.99

Die logistische Leistungsfhigkeit von Lndern als Standortfaktor auslndischer Direktinvestitionen

$79.99

Redefining Risk & Return

$64.99

Control and Observer Design for Nonlinear Finite and Infinite Dimensional Systems

$84.99

Future Trends and Challenges of Molecular Imaging and AI Innovation

$249.99

Thread and Data Mapping for Multicore Systems

$54.99

Monitoring Ecological Condition in the Western United States

$84.99

Group Model Building

$39.99

Argentina Since the 2001 Crisis

$54.99

The Phenomenology of Man and of the Human Condition

$169.00

Internet der Dinge in der Intralogistik

$64.99

1967 (Exploring Civil Rights: The Rise)

$8.99

Demystifying Interventional Radiology

$54.99

Statistischer Unsinn

$19.99

Emerging Research in Artificial Intelligence and Computational Intelligence

$54.99

Ecology of small mammals

$219.99

Logics in Computer Science

$54.99

Biochemisches Handlexikon

$84.99

Information Security

$54.99

Zur Morphologie und Rezeptionssthetik des anthropomorphen Bsen im Spielfilm

$39.99

Advances in Interdisciplinary Research in Engineering and Business Management

$109.99

Distracted Doctoring

$99.99

Sportsponsoring

$84.99

Surgical Treatment of Haemorrhoids

$74.99

Konfliktpotentiale und Konsensstrategien

$69.95

Big Planet, World: Celebrate! Celebrate!

$4.46

Histological Typing of Testis Tumours

$54.99

Differentialgleichungen mit Mathematica

$69.95

Computer Analysis of Sequence Data, Part I

$84.99

Coding Theory in Optical Wireless Communication Systems

$179.99