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
Vom Belastungs-EKG zur Koronarangiographie
$59.99
Wavelength Filters in Fibre Optics
$169.99
Informatik fr technische Berufe
$49.99
Advances in Polymer Science
$39.99
Rechtssicherheit im Internet
$29.99
Image and Signal Processing
$84.99
Urgeschichten der Moderne
$49.99
Automated Solution of Differential Equations by the Finite Element Method
$99.00
Problems of mixed mode crack propagation
$109.99
Seismic Assessment, Behavior and Retrofit of Heritage Buildings and Monuments
$109.99
Pharmazeutische bungsprparate
$84.99
Soft Computing for Knowledge Discovery
$129.00
Collective AtomLight Interactions in Dense Atomic Vapours
$109.99
Carry and Learn: Carry and Learn Opposites
$5.21
Advances in Computing Systems and Applications
$129.99
Spezielle Chemie der Herbizide Anwendung und Wirkungsweise / Special Chemistry of Herbicides App
$54.99
Heuristische Strategien in der Schulmathematik
$49.99
Learning to Love
$59.99
Clinical Atlas of Interstitial Lung Disease
$259.00
Yearbook of Intensive Care and Emergency Medicine 2008
$149.00
Geometric Mechanics and Its Applications
$249.99
Der Molekularverstrker und seine Anwendung / Atomkernforschung und Chemie, aktuelle Probleme
$59.99
Recent Developments in Pavement Engineering
$109.99
(Im)politeness in McEwans Fiction
$129.99
Information Systems for Intelligent Systems
$299.99
Magnetospheric Plasma Sources and Losses
$169.00
Pathologie der Bewegungsorgane
$49.99
Bacterial Endophytes for Sustainable Agriculture and Environmental Management
$149.00
Magnetic Properties of Low-Dimensional Systems II
$54.99
Gender Medizin
$69.99
Internationalization of High-Technology Firms
$59.99
Cancer / Krebs
$54.99
Ethno-Marketing in der Automobilbranche
$44.99
Climate Action Through Eco-Friendly Textiles
$169.99
Developments in 3D Geo-Information Sciences
$129.00
Statistical Applications for Chemistry, Manufacturing and Controls (CMC) in the Pharmaceutical Indus
$119.99
Cardiac Pacemakers
$39.99
Proceedings of the International Field Exploration and Development Conference 2023
$229.00
Sport in Kultur und Gesellschaft
$119.99
Therapeutic Approaches in Cancer Treatment
$119.00
