ISBN: 9783540114901 - Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981: 134 (lecture Notes in Computer Science, 134) (12 results)

by J. Staunstrup
ISBN: 
Refine with Advanced Search

Refine your search

  • Books (12)

Learn more

to

Custom price range (£)

to

  • 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.28

    £ 1.96 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

    £ 56.08

    £ 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

    £ 75.91

    £ 1.96 shipping 
    Ships within U.S.A.

    Quantity: 15 available

    Condition: New.

  • Language: English

    Published by Springer, 1982

    3540114904 / 9783540114901

    • Softcover

    Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle

    4-star seller
    Contact seller

    Condition: New

    £ 74.89

    £ 2.96 shipping 
    Ships within U.S.A.

    Quantity: 4 available

    Condition: New. pp. 436.

  • Language: English

    Published by Springer, 1982

    3540114904 / 9783540114901

    • Softcover

    Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

    5-star seller
    Contact seller

    Condition: New

    £ 62.35

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

    Quantity: Over 20 available

    Condition: New.

  • Language: English

    Published by Springer Berlin Heidelberg, 1982

    3540114904 / 9783540114901

    • Softcover

    Seller: moluna, Greven, Germanymoluna

    5-star seller
    Contact seller

    Condition: New

    £ 41.53

    £ 40.84 shipping 
    Ships from Germany 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.01

    £ 29.18 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: Majestic Books, Hounslow, United KingdomMajestic Books

    4-star seller
    Contact seller

    Condition: New

    £ 74.60

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

    Quantity: 4 available

    Condition: New. Print on Demand pp. 436 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

  • Language: English

    Published by Springer, 1982

    3540114904 / 9783540114901

    • Softcover
    • Print on Demand

    Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios

    4-star seller
    Contact seller

    Condition: New

    £ 77.24

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

    Quantity: 4 available

    Condition: New. PRINT ON DEMAND pp. 436.

  • Language: English

    Published by Springer, Springer Apr 1982, 1982

    3540114904 / 9783540114901

    • Softcover
    • Print on Demand

    Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000

    5-star seller
    Contact seller

    Condition: New

    £ 45.92

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

  • Language: English

    Published by Springer Berlin Heidelberg Apr 1982, 1982

    3540114904 / 9783540114901

    • Softcover
    • Print on Demand

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

    5-star seller
    Contact seller

    Condition: New

    £ 79.92

    £ 19.17 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 -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. 436 pp. Englisch. …

  • 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.32

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