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
East/West Trade and the GATT System
$44.99
The Gift - 14 Lessons to Save Your Life by Edith Eva Eger
$25.00
Bioinspired Approaches for Human-Centric Technologies
$169.99
Sustainability, Stakeholders and Marketing in the Textile Sector
$129.00
Fertigungsverfahren 4
$89.99
Manual of Cementing Technique
$39.99
World Congress on Medical Physics and Biomedical Engineering September 7 - 12, 2009 Munich, Germany
$219.99
Dynamic Firm and Investor Behaviour under Progressive Personal Taxation
$54.99
Human-Computer Interaction: Towards Intelligent and Implicit Interaction
$39.99
Statistik fr Bachelor- und Masterstudenten
$39.99
Plant Proteomics
$219.99
Dissimulation and Deceit in Early Modern Europe
$89.99
Ariana et Athanasiana
$59.99
Gibbs Random Fields
$39.99
Empfehlungen und Resolutionen
$59.99
Arzneiverordnungs-Report 2006
$44.99
Feindbilder und Verstndigung
$39.95
Assistive Technology
$109.99
Deutsche Gegenreformation und deutsches Barock
$89.99
Logische Syntax der Sprache
$59.99
Interpolation of Spatial Data
$159.99
The Bright Side and the Dark Side of Patient Empowerment
$54.99
Adoptive Management Innovation
$109.99
Generative Fertigung mit Kunststoffen
$89.99
World Trade and Local Public Interest
$139.00
Die Royal Society. Probleme der wissenschaftlichen Forschung in der Sdafrikanischen Union
$59.99
Data Privacy Management and Autonomous Spontaneous Security
$54.99
Peptidomimetics Protocols
$84.99
Berufsbiographie und chronische Krankheit
$59.99
Handbook of Massive Data Sets
$629.00
Supply Management Research
$44.99
Neue Entwicklungen im Rechnungswesen
$44.99
Analytical Ultracentrifugation
$84.99
Ueber das deutsche Bevlkerungsproblem
$59.99
Toward an Anthropology of Graphing
$109.99
Einfhrung in UNIX
$69.99
Psychiatric Disorders Late in Life
$169.99
Super Student!
$4.46
Random-Like Bi-level Decision Making
$39.99
Personalising Learning in Open-Plan Schools
$39.99
