Refine your search

  • Books (6)

Learn more

to

Custom price range (£)

to

Program Specification Proceedings Workshop (6 results)

Title: 
Refine with Advanced Search

  • Language: English

    Published by Springer, 1982

    3540114904 / 9783540114901

    • Softcover

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

    5-star seller
    Contact seller

    Condition: Used - As new

    £ 53.64

    £ 1.97 shipping 
    Ships within U.S.A.

    Quantity: 15 available

    Condition: As New. Unread book in perfect condition.

  • Language: English

    Published by Springer, 1982

    3540114904 / 9783540114901

    • Softcover

    Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

    5-star seller
    Contact seller

    Condition: Used - As new

    £ 55.92

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

    Quantity: Over 20 available

    Condition: As New. Unread book in perfect condition.

  • Language: English

    Published by Springer, 1982

    3540114904 / 9783540114901

    • Softcover

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

    5-star seller
    Contact seller

    Condition: New

    £ 76.43

    £ 1.97 shipping 
    Ships within U.S.A.

    Quantity: 15 available

    Condition: New.

  • Language: English

    Published by Springer, 1982

    3540114904 / 9783540114901

    • Softcover

    Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

    5-star seller
    Contact seller

    Condition: New

    £ 62.34

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

    Quantity: Over 20 available

    Condition: New.

  • Language: English

    Published by Springer, 1982

    3540114904 / 9783540114901

    • Softcover

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

    5-star seller
    Contact seller

    Condition: New

    £ 57.00

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

    Quantity: 1 available

    Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Program specification: Issues and observations.- Example 1: Geometrical constructions.- Example 1: Geometrical constructions.- Example 2: KWIC - index generation.- Example 2: KWIC - index generation.- Example 2: KWIC - index generation.- Example 2: KWIC - index generation.- Example 2: KWIC - index generation.- Example 2: KWIC - index generation.- Example 2: KWIC - index generation.- Example 3: Communication network.- Example 3: Communication network.- Partial correctness of distributed programs.- Specification of distributed programs.- Robust data types.- A reduction specification for DTL.- Recursive definitions of operations in universal algebras.- The SRDL specification experiment.- Program specification by module trees.- Parameter passing in algebraic specification languages.- A few remarks on putting formal specifications to productive use.- A specification language.- Tecton: A language for manipulating generic objects.- Concurrency.- Workshop on program specification.- List of participants. …

  • Language: English

    Published by Springer, 1982

    3540114904 / 9783540114901

    • Softcover
    • Print on Demand

    Seller: preigu, Osnabrück, Germanypreigu

    5-star seller
    Contact seller

    Condition: New

    £ 43.31

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

    Quantity: 5 available

    Taschenbuch. Condition: Neu. Program Specification | Proceedings of a Workshop Aarhus, Denmark, August 1981 | J. Staunstrup | Taschenbuch | vi | Englisch | 1982 | Springer | EAN 9783540114901 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …