ISBN: 9783540176541 - Vdm '87. Vdm - A Formal Method at Work: Vdm-europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings: 252 (lecture Notes in Computer Science, 252) (9 results)

by D. Bjørner
ISBN: 
Refine with Advanced Search

Refine your search

  • Books (9)

to

Custom price range (£)

to

  • Language: English

    Published by Springer-Verlag, Berlin, Germany, 1987

    3540176543 / 9783540176541

    • Softcover
    • First Edition

    Seller: SUNSET BOOKS 2, Newark, OH, U.S.A.SUNSET BOOKS 2

    5-star seller
    Contact seller

    Condition: Used - Very good

    £ 7.71

    £ 5.43 shipping 
    Ships within U.S.A.

    Quantity: 1 available

    Paperback. Condition: Very Good. No Jacket. 1st. w/full markings, pocket, and/or bookplate. Wear, soil. Size: 8vo. Ex-Library.

  • Language: English

    Published by Springer, 1987

    3540176543 / 9783540176541

    • Softcover

    Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

    5-star seller
    Contact seller

    Condition: Used - Good

    £ 15.97

    £ 5.23 shipping 
    Ships within U.S.A.

    Quantity: 1 available

    Paperback. Condition: Good. Sorry, No international shipping on this item.Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

  • Language: English

    Published by Springer, 1987

    3540176543 / 9783540176541

    • Softcover

    Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    5-star seller
    Contact seller

    Condition: Used - As new

    £ 53.74

    £ 1.98 shipping 
    Ships within U.S.A.

    Quantity: 15 available

    Condition: As New. Unread book in perfect condition.

  • Language: English

    Published by Springer, 1987

    3540176543 / 9783540176541

    • Softcover

    Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    5-star seller
    Contact seller

    Condition: New

    £ 55.46

    £ 1.98 shipping 
    Ships within U.S.A.

    Quantity: 15 available

    Condition: New.

  • Language: English

    Published by Springer, 1987

    3540176543 / 9783540176541

    • Softcover

    Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH

    5-star seller
    Contact seller

    Condition: New

    £ 57.06

    £ 29.20 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    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.…

  • Language: English

    Published by Springer 1987-03, 1987

    3540176543 / 9783540176541

    • Softcover
    • Print on Demand

    Seller: Chiron Media, Wallingford, United KingdomChiron Media

    5-star seller
    Contact seller

    Condition: New

    £ 47.92

    £ 6.49 shipping 
    Ships from United Kingdom to U.S.A.

    Quantity: 20 available

    PF. Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

  • Language: English

    Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1987, 1987

    3540176543 / 9783540176541

    • Softcover
    • Print on Demand

    Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.

    5-star seller
    Contact seller

    Condition: New

    £ 45.97

    £ 19.19 shipping 
    Ships from Germany to U.S.A.

    Quantity: 2 available

    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.…

  • Language: English

    Published by Springer Berlin Heidelberg, 1987

    3540176543 / 9783540176541

    • Softcover
    • Print on Demand

    Seller: moluna, Greven, Germanymoluna

    5-star seller
    Contact seller

    Condition: New

    £ 41.57

    £ 40.88 shipping 
    Ships from Germany to U.S.A.

    Quantity: Over 20 available

    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.…

  • Language: English

    Published by Springer, Springer Mär 1987, 1987

    3540176543 / 9783540176541

    • Softcover
    • Print on Demand

    Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000

    5-star seller
    Contact seller

    Condition: New

    £ 45.97

    £ 50.06 shipping 
    Ships from Germany to U.S.A.

    Quantity: 1 available

    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 KG, Sachsenplatz 4-6, 1201 Wien 436 pp. Englisch.…