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
St. James's Place Tax Guide 2014-2015
$39.99
Travel Writing and the Transnational Author
$54.99
Ergebnisse der Biologie / Advances in Biology
$64.99
Die kulturellen Grundlagen der Gesellschaft
$69.99
Gene Expression and Its Discontents
$189.00
Electromagnetic Biointeraction
$39.99
Pouchers Perfumes, Cosmetics and Soaps
$39.99
Neural Correlates of Quality Perception for Complex Speech Signals
$109.99
Brennschneiden
$59.99
Neural Computation and Psychology
$54.99
Conservation Agriculture: A Sustainable Approach for Soil Health and Food Security
$299.99
Ecology and Utilization of Desert Shrub Rangelands in Iraq
$219.99
Proceedings of the Eighteenth General Assembly
$219.99
Surface Science Techniques
$199.99
Pervasive Computing
$54.99
Politische Wissenschaft
$59.99
Basiswissen Public Relations
$49.99
Japanese Modality
$109.99
Writing the History of Mathematics: Its Historical Development
$109.99
Microglia in Health and Disease
$129.00
Supply Chain Collaboration
$109.99
Full Out: Lessons in Life and Leadership From Americas Favorite Coach by Monica Aldama
$17.99
Pairing-Based Cryptography - Pairing 2010
$39.99
Applying Computational Intelligence
$109.99
Learning and Intelligent Optimization
$39.99
Multicriteria Optimization and Engineering
$84.99
Rubber Science
$79.99
Stink and the Midnight Zombie Walk
$4.46
Beyond Cairo
$39.99
Rare Tumors in Children and Adolescents
$249.99
Differential Equations with Symbolic Computation
$169.99
Universal Biology after Aristotle, Kant, and Hegel
$129.99
Media and Genre
$159.99
Existenz semiuniverseller Deformationen in der komplexen Analysis
$59.99
Historical Etiquette
$129.99
Facility Location
$329.99
Microcomputer Control of Thermal and Mechanical Systems
$39.99
Special Functions, Probability Semigroups, and Hamiltonian Flows
$29.99
Rendering Techniques 2001
$109.99
Extrusion of Aluminium Alloys
$449.99
