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

Atlas der Ultraschall-Biomikroskopie

$59.99

Problems in Stellar Atmospheres and Envelopes

$84.99

Quantum Cohomology

$54.99

Real Fourdimensionalism

$79.99

Ontologies for Agents: Theory and Experiences

$69.95

Molecular Mechanisms Underpinning the Development of Obesity

$109.99

CAD/CAM in Practice

$54.99

Teamfhige Personalstrukturen

$59.99

Charge Migration in DNA

$129.00

Luxury Fashion Branding

$84.99

Planung von Photovoltaik-Anlagen

$29.99

Pichlmayrs Chirurgische Therapie

$44.99

The Complexity Theory Companion

$89.99

The Wire

$39.99

A Virginia Woolf Chronology

$129.00

Hooray For Amanda And Her Alligator (Hardcover)

$17.99

Digital Transformation in Industry

$179.99

Governing Continuous Transformation

$89.00

Wirksames Fhren in der Polizei

$64.99

Algorithms in Bioinformatics

$109.99

Computation Engineering

$124.00

Volkswirtschaftslehre

$49.99

The Myth of Statistical Inference

$169.99

A Strategic Fit Perspective on Family Firm Performance

$39.99

Heidelberger Jahrbcher

$59.99

Personal-Management und Strategische Unternehmensfhrung

$44.99

Cap-Independent Translation

$109.99

Advanced Information Systems Engineering

$109.99

Image Fusion

$169.99

Implantable Hearing Devices other than Cochlear Implants

$54.99

Race and Morality

$84.99

Deformation and Strength of Materials

$54.99

Proceedings of the First International Forum on Financial Mathematics and Financial Technology

$249.99

Fabrication and Processing of Shape Memory Alloys

$39.99

Polypropylene Structure, blends and composites

$219.99

Perioperative and Critical Care Medicine

$109.99

Optimal Control, Stabilization and Nonsmooth Analysis

$129.00

Challenging Traditional Views of Russian History

$109.99

Airborne Care of the Ill and Injured

$39.99

Breakdown of Speech

$39.99