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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Politicians, Personal Image and the Construction of Political Identity
$54.99
Kinderleben - Integration durch Sprache?
$59.99
Verteilende eBusiness-Systeme
$89.99
Single Cell Metabolism
$199.99
ffentliche Meinung und strategische Kulturen
$49.99
Rechtsterrorismus in der alten Bundesrepublik
$74.99
Law and Disciplinarity
$54.99
Genetics of the Mouse
$199.99
The Professional Knowledge Base of Science Teaching
$84.99
Eighteenth-Century Naval Officers
$159.99
Geburtshilfe Geburtsmedizin
$74.99
Humanism in Marketing
$199.99
Contemporary American Theatre
$29.99
Figurative Thinking and Foreign Language Learning
$109.99
Understanding Fluorescein Angiography, Fluoreszeinangiografie verstehen, Entendiendo Angiografa con
$84.99
Import Propensities of Industrialized Countries
$39.99
Television Drama
$54.99
Das Einrichten von Automaten
$59.99
Slow Viscous Flow
$39.99
Information Security Technology for Applications
$39.99
Auswuchttechnik
$139.00
Particulate Technology for Delivery of Therapeutics
$169.99
Globalisierung nach der Corona-Krise
$9.99
Proceedings of the 25th International Conference on the Physics of Semiconductors Part I
$54.99
Mobile 3D Graphics
$39.99
Narrative Landscapes of Female Sexuality in Africa
$39.99
Marketingtechnologien
$59.99
David Humes Humanity
$37.99
Form and Dialectic in Georg Simmel's Sociology
$54.99
Leaning into the Spirit
$69.99
Invasive Plants: Ecological and Agricultural Aspects
$149.00
Learning Surgery
$54.99
Self-organization and Emergence in Life Sciences
$219.99
Ernst Zermelo - Collected Works/Gesammelte Werke
$169.99
Schriftverkehr am Bau
$44.99
Die flexible Supervision
$49.99
Modeling Decisions for Artificial Intelligence
$54.99
Mathematical Foundations of Big Data Analytics
$37.99
Cultural Semiotics
$129.99
Oscar y Grillo
$5.96
