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
Fortschritte der Chemie organischer Naturstoffe / Progress in the Chemistry of Organic Natural Produ
$84.99
Global Activism and Humanitarian Disarmament
$139.99
Kennzeichen und Wandel der Politikberichterstattung im Boulevardjournalismus
$59.99
Internet-Security aus Software-Sicht
$29.99
I Can Do It
$3.71
Speech Perception, Production and Acquisition
$119.00
Learn Computer Science with Swift
$29.99
Star Wars Legends Epic Collection- The Menace Revealed Vol. 3 By John Ostrander
$39.99
The Princess and the Pea: 6-Book Set
$21.95
Ideas and European Education Policy, 1973-2020
$119.99
ber die Beeinflussung der Passivierbarkeit aktiver Metalle durch Zulegieren von Chrom und Nickel
$59.99
Die GmbH & Co. KG in der Praxis
$44.99
Diagnose, Behandlung und Prognose der Traumatischen Hmatome des Schdelinneren
$59.99
Adhesion Molecules: Function and Inhibition
$219.99
A Duck Called Brian
$5.24
Emerging Technologies for the Classroom
$89.00
konomische Theorie der Politik
$69.99
Machine Learning for Cyber-Physical Systems
$49.99
Regieren in Koalitionen
$64.99
Primary Knee Arthroplasty
$39.99
Spectral Methods for Uncertainty Quantification
$79.99
The Impact of Biotechnology on Agriculture
$39.99
La philosophie contemporaine / Contemporary philosophy
$329.99
Strategies for Team Science Success
$169.99
Artificial Intelligence (AI) and Customer Social Responsibility (CSR)
$279.99
Stratigraphy and Paleolimnology of the Green River Formation, Western USA
$84.99
Konfliktvisualisierung im kooperativen Entwurf
$49.99
Going to War
$54.99
A Civil-Military Response to Hybrid Threats
$219.99
Praktische Stanzerei Ein Buch fr Betrieb und Bro mit Aufgaben und Lsungen
$59.99
Photomechanik fr den Stein- und Offsetdruck
$59.99
Grundzge der Starkstromtechnik
$59.99
Information Retrieval Technology
$39.99
Selecta
$79.95
The CRC Handbook of Thermal Engineering
$219.99
Invertebrates in Hot and Cold Arid Environments
$109.99
Entwurf und Strukturtheorie von Steuerungen fr Fertigungseinrichtungen
$84.99
Die Funktionsdiagnostik der behinderten Nasenatmung
$79.99
Mathematical and Numerical Approaches for Multi-Wave Inverse Problems
$109.99
Management von Marktpreis- und Ausfallrisiken
$59.99
