Survey Verification Techniques Parallel by Barringer Howard (9 results)

Author: 
Title: 
Refine with Advanced Search

Refine your search

  • Books (9)

Learn more

to

Custom price range (£)

to

  • Language: English

    Published by Springer, 1985

    3540152393 / 9783540152392

    • Softcover

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

    5-star seller
    Contact seller

    Condition: Used - Very good

    £ 4.52

    £ 5.12 shipping 
    Ships within U.S.A.

    Quantity: 1 available

    Paperback. Condition: Very Good. Sorry, No international shipping on this item.0387152393 Ex-library paperback in very nice condition with the usual markings and attachments.

  • Language: English

    Published by Springer Berlin / Heidelberg, 1985

    3540152393 / 9783540152392

    • Softcover

    Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books

    5-star seller
    Contact seller

    Condition: Used - Good

    £ 10.48

     Free Shipping 
    Ships within U.S.A.

    Quantity: 1 available

    Condition: Good. 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.

  • Language: English

    Published by Springer, 1985

    3540152393 / 9783540152392

    • Softcover

    Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

    5-star seller
    Contact seller

    Condition: New

    £ 23.74

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

    Quantity: Over 20 available

    Condition: New. In.

  • Language: English

    Published by Springer 1985-05, 1985

    3540152393 / 9783540152392

    • Softcover

    Seller: Chiron Media, Wallingford, United KingdomChiron Media

    5-star seller
    Contact seller

    Condition: New

    £ 21.25

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

    Quantity: 10 available

    PF. Condition: New.

  • Language: English

    Published by Springer Berlin Heidelberg, 1985

    3540152393 / 9783540152392

    • Softcover

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

    5-star seller
    Contact seller

    Condition: New

    £ 21.70

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

    Quantity: 1 available

    Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- B…

  • Language: English

    Published by Springer Berlin Heidelberg Mai 1985, 1985

    3540152393 / 9783540152392

    • Softcover
    • Print on Demand

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

    5-star seller
    Contact seller

    Condition: New

    £ 21.70

    £ 19.70 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 -Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verific…

  • Language: English

    Published by Springer Berlin Heidelberg, 1985

    3540152393 / 9783540152392

    • Softcover
    • Print on Demand

    Seller: moluna, Greven, Germanymoluna

    5-star seller
    Contact seller

    Condition: New

    £ 21.75

    £ 41.95 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. Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de…

  • Language: English

    Published by Springer, Springer Mai 1985, 1985

    3540152393 / 9783540152392

    • Softcover
    • Print on Demand

    Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000

    5-star seller
    Contact seller

    Condition: New

    £ 21.70

    £ 51.38 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 -Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verificatio…

  • Language: English

    Published by Springer, 1985

    3540152393 / 9783540152392

    • Softcover
    • Print on Demand

    Seller: preigu, Osnabrück, Germanypreigu

    5-star seller
    Contact seller

    Condition: New

    £ 21.87

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

    Quantity: 5 available

    Taschenbuch. Condition: Neu. A Survey of Verification Techniques for Parallel Programs | Howard Barringer | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1985 | Springer | EAN 9783540152392 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at…