Copied MetaSoft Primer
MetaSoft Primer
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.
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
|
|
$39.99 | $39.99 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
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
