.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Metasoft Primer
Andrzej Blikle
€ 67.43
FREE Delivery in Ireland
Description for Metasoft Primer
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 164 pages, biography. BIC Classification: UMC; UMX. Category: (P) Professional & Scholarly; (UP) Postgraduate; (UU) Undergraduate. Dimension: 234 x 156 x 8. Weight in Grams: 234.
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. ... Read more
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. ... Read more
Product Details
Format
Paperback
Publication date
1987
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
164
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
148
Place of Publication
Berlin, Germany
ISBN
9783540186571
SKU
V9783540186571
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Metasoft Primer