Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 1987
ISBN 10: 3540186573ISBN 13: 9783540186571
Seller: Powell's Bookstores Chicago, ABAA, Chicago, IL, U.S.A.
Book
Condition: Used - Good. 1987. Paperback. Good.
Published by Springer, 1987
ISBN 10: 3540186573ISBN 13: 9783540186571
Seller: Irish Booksellers, Portland, ME, U.S.A.
Book
Condition: Good. SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. book.
Published by Springer, 1987
ISBN 10: 3540186573ISBN 13: 9783540186571
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Book
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Pages tanned from age. Text block clean and unmarked. Tight binding.
Published by Springer-Verlag, Berlin, Germany, 1987
ISBN 10: 3540186573ISBN 13: 9783540186571
Seller: SUNSET BOOKS, Newark, OH, U.S.A.
Book First Edition
Paperback. Condition: Good. No Jacket. 1st. With full markings, pocket, and/or bookplate. Normal wear, soil. Size: 8vo. Ex-Library.
Published by Springer, 1987
ISBN 10: 3540186573ISBN 13: 9783540186571
Seller: Irish Booksellers, Portland, ME, U.S.A.
Book
Condition: Good. SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. book.
Published by Springer, 1987
ISBN 10: 3540186573ISBN 13: 9783540186571
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Book
Condition: Good. Used - Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre.' Ex-library, but has been well cared for. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Published by Springer, 1987
ISBN 10: 3540186573ISBN 13: 9783540186571
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 1987
ISBN 10: 3540186573ISBN 13: 9783540186571
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Springer, 1987
ISBN 10: 3540186573ISBN 13: 9783540186571
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 1987
ISBN 10: 3540186573ISBN 13: 9783540186571
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer 1987-11, 1987
ISBN 10: 3540186573ISBN 13: 9783540186571
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by Springer, 1987
ISBN 10: 3540186573ISBN 13: 9783540186571
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by Springer, 1987
ISBN 10: 3540186573ISBN 13: 9783540186571
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: As New. Unread book in perfect condition.
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1987
ISBN 10: 3540186573ISBN 13: 9783540186571
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Book
Condition: New. 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. . 1987. Paperback. . . . .
Published by Springer Berlin Heidelberg Nov 1987, 1987
ISBN 10: 3540186573ISBN 13: 9783540186571
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 160 pp. Englisch.
Published by Springer Berlin Heidelberg, 1987
ISBN 10: 3540186573ISBN 13: 9783540186571
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Published by Springer Berlin Heidelberg, 1987
ISBN 10: 3540186573ISBN 13: 9783540186571
Seller: moluna, Greven, Germany
Book Print on Demand
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 m.
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1987
ISBN 10: 3540186573ISBN 13: 9783540186571
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Book
Condition: New. 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. . 1987. Paperback. . . . . Books ship from the US and Ireland.
Published by Springer, 1987
ISBN 10: 3540186573ISBN 13: 9783540186571
Seller: Books Puddle, New York, NY, U.S.A.
Book
Condition: New. pp. 160.
Published by Springer, 1987
ISBN 10: 3540186573ISBN 13: 9783540186571
Seller: Mispah books, Redhill, SURRE, United Kingdom
Book
Paperback. Condition: Very Good. Very Good. book.
Published by Springer, 1987
ISBN 10: 3540186573ISBN 13: 9783540186571
Seller: Majestic Books, Hounslow, United Kingdom
Book Print on Demand
Condition: New. Print on Demand pp. 160 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.