Order Total (1 Item Items):
Shipping Destination:
Bjorner Jones (20 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (20)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (13)
- As New, Fine or Near Fine (2)
- Very Good or Good (4)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (10)
- Not Print on Demand (14)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Lecture Notes in Computer Science, Volume 252: VDM '87--A Formal Method at Work, Proceedings of Symposium, March 1987, Brussels, Belgium.
Language: English
Published by Springer-Verlag, Berlin, Germany, 1987
ISBN 10: 3540176543 ISBN 13: 9783540176541
First Edition
Paperback. Condition: Very Good. No Jacket. 1st. w/full markings, pocket, and/or bookplate. Wear, soil. Size: 8vo. Ex-Library.
-
VDM '87. VDM - A Formal Method at Work : VDM-Europe Symposium 1987 Brusses, Belgium March 1987, Proceedings
Language: English
Published by Springer Berlin / Heidelberg, 1987
ISBN 10: 3540176543 ISBN 13: 9783540176541
Condition: Good. 1987th Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Partial Evaluation and Mixed Computation: Proceedings of the Ifip Tc2 Workshop on Partial Evaluation and Mixed Computation Gammel Avernaes,
Language: English
Published by Elsevier Science Ltd, 1988
ISBN 10: 0444704914 ISBN 13: 9780444704917
US$ 7.71 10% offUS$ 6.94
US$ 23.62 shipping
Ships from France to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 1988. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1988. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
US$ 7.71 10% off
US$ 6.94
US$ 23.62 shipping
Ships from France to U.S.A.Quantity: 1 available
Add to basketSoftcover. Condition: Bon. Légères traces d'usure sur la couverture. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Slight signs of wear on the cover. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Paperback. Condition: Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Taschenbuch. Condition: Gut. 404 Seiten Sofort verfügbar Versand sofort nach durchgeführter Zahlungsverifikation Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sofort verfügbar Versand sofort nach durchgeführter Zahlungsverifikation Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sprache: Englisch Gewicht in Gramm: 550.
-
The Vienna development method. - The meta-language. ed. by D. Børner and C. B. Jones. (= Lecture Notes in Computer Science, 61).
Language: English
Published by Berlin - Heidelberg - New York, Springer,, 1978
ISBN 10: 3540087664 ISBN 13: 9783540087663
Seller: COTTAGE Antiquariat - anbu.at, Langenzersdorf, Austria
Seller rating 5 out of 5 stars
Gr.-8°, Original-Broschur. XV, 382 S. ; 25 cm Etwas leseschief, an Ecken und Kanten bestossen, am Fußschnitt Stoßspur mit Farbabrieb, Schnitte etwas unfrisch. Innen papierbedingt gegilbt, sonst sauber. Solides, textsauberes und gut brauchbares Exemplar. Etwas (keller)-muffig. - In englischer Sprache. IS: 3540087664 ****An unsere Kunden in Deutschland: Versand nach Deutschland einmal in der Woche ab Freilassing mit der Deutschen Post.*** - Sprache: Englisch Gewicht in Gramm: 650.
-
The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science, 61)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 40.15
US$ 15.94 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 36.91
US$ 20.61 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science, 252)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 67.56
US$ 15.94 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 65.67
US$ 20.61 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - On the formalization of programming languages: Early history and main approaches.- Programming in the meta-language: A tutorial.- The meta-language: A reference manual.- Denotational semantics of goto: An exit formulation and its relation to continuations.- A formal definition of ALGOL 60 as described in the 1975 modified report.- Software abstraction principles: Tutorial examples of an operating system command language specification and a PL/I-like on-condition language definition.- References & bibliography.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - VDM: Origins, hopes, and achievements.- Experience using VDM in STC.- VDM in three generations of Ada formal descriptions.- Experience with VDM in NORSK DATA.- Using VDM in an Object-Oriented development method for Ada software.- The stepwise development of software development graphs - Meta-programming VDM developments.- Heap storage specification and development.- VDM as a specification method for telecommunications software.- Support environments for VDM.- Development and application of a META IV compiler.- From VDM to RAISE.- Denotational engineering or from denotations to syntax.- A type model for VDM.- A formal description of object-oriented programming using VDM.- VDM proof obligations and their justification.- Mathematical structures and their morphisms in Meta-IV.- Objectives of the British Standardisation of a language to support the Vienna development method.- Use of VDM within CCITT.- A formal semantics for a DataFlow Machine - Using VDM.- to the VDM tutorial.- Specification by data types.- Data reification and program decomposition.
-
Taschenbuch. Condition: Neu. VDM '87. VDM - A Formal Method at Work | VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings | Dines Bjørner (u. a.) | Taschenbuch | xi | Englisch | 1987 | Springer | EAN 9783540176541 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
The Vienna Development Method: The Meta-Language
Language: English
Published by Springer Berlin Heidelberg Mai 1978, 1978
ISBN 10: 3540087664 ISBN 13: 9783540087663
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -On the formalization of programming languages: Early history and main approaches.- Programming in the meta-language: A tutorial.- The meta-language: A reference manual.- Denotational semantics of goto: An exit formulation and its relation to continuations.- A formal definition of ALGOL 60 as described in the 1975 modified report.- Software abstraction principles: Tutorial examples of an operating system command language specification and a PL/I-like on-condition language definition.- References & bibliography. 404 pp. Englisch.
-
VDM '87. VDM - A Formal Method at Work
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1987, 1987
ISBN 10: 3540176543 ISBN 13: 9783540176541
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -VDM: Origins, hopes, and achievements.- Experience using VDM in STC.- VDM in three generations of Ada formal descriptions.- Experience with VDM in NORSK DATA.- Using VDM in an Object-Oriented development method for Ada software.- The stepwise development of software development graphs ¿ Meta-programming VDM developments.- Heap storage specification and development.- VDM as a specification method for telecommunications software.- Support environments for VDM.- Development and application of a META IV compiler.- From VDM to RAISE.- Denotational engineering or from denotations to syntax.- A type model for VDM.- A formal description of object-oriented programming using VDM.- VDM proof obligations and their justification.- Mathematical structures and their morphisms in Meta-IV.- Objectives of the British Standardisation of a language to support the Vienna development method.- Use of VDM within CCITT.- A formal semantics for a DataFlow Machine ¿ Using VDM.- to the VDM tutorial.- Specification by data types.- Data reification and program decomposition. 436 pp. Englisch.
-
The Vienna Development Method: The Meta-Language
Language: English
Published by Springer Berlin Heidelberg, 1978
ISBN 10: 3540087664 ISBN 13: 9783540087663
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. On the formalization of programming languages: Early history and main approaches.- Programming in the meta-language: A tutorial.- The meta-language: A reference manual.- Denotational semantics of goto: An exit formulation and its relation to continuations.-.
-
The Vienna Development Method: The Meta-Language
Language: English
Published by Springer Berlin Heidelberg, Springer Mai 1978, 1978
ISBN 10: 3540087664 ISBN 13: 9783540087663
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -On the formalization of programming languages: Early history and main approaches.- Programming in the meta-language: A tutorial.- The meta-language: A reference manual.- Denotational semantics of goto: An exit formulation and its relation to continuations.- A formal definition of ALGOL 60 as described in the 1975 modified report.- Software abstraction principles: Tutorial examples of an operating system command language specification and a PL/I-like on-condition language definition.- References & bibliography.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.
-
VDM 87. VDM - A Formal Method at Work
Language: English
Published by Springer Berlin Heidelberg, 1987
ISBN 10: 3540176543 ISBN 13: 9783540176541
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. VDM: Origins, hopes, and achievements.- Experience using VDM in STC.- VDM in three generations of Ada formal descriptions.- Experience with VDM in NORSK DATA.- Using VDM in an Object-Oriented development method for Ada software.- The stepwise development of.
-
VDM '87. VDM - A Formal Method at Work
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1987, 1987
ISBN 10: 3540176543 ISBN 13: 9783540176541
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -VDM: Origins, hopes, and achievements.- Experience using VDM in STC.- VDM in three generations of Ada formal descriptions.- Experience with VDM in NORSK DATA.- Using VDM in an Object-Oriented development method for Ada software.- The stepwise development of software development graphs ¿ Meta-programming VDM developments.- Heap storage specification and development.- VDM as a specification method for telecommunications software.- Support environments for VDM.- Development and application of a META IV compiler.- From VDM to RAISE.- Denotational engineering or from denotations to syntax.- A type model for VDM.- A formal description of object-oriented programming using VDM.- VDM proof obligations and their justification.- Mathematical structures and their morphisms in Meta-IV.- Objectives of the British Standardisation of a language to support the Vienna development method.- Use of VDM within CCITT.- A formal semantics for a DataFlow Machine ¿ Using VDM.- to the VDM tutorial.- Specification by data types.- Data reification and program decomposition.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch.
