Isbn: 9783540114901 - program specification: proceedings of a workshop aarhus, denmark, august 1981: 134 (13 risultati)

ISBN: 
Perfeziona con la Ricerca avanzata

Perfeziona la tua ricerca

  • Libri (13)

Maggiori informazioni

a

Fascia di prezzo personalizzata (EUR)

a

    • Lingua: Inglese

      Editore: Springer, 1982

      3540114904 / 9783540114901

      • Brossura

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

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Usato - Come nuovo

      EUR 63,90

      EUR 2,29 spedizione 
      Spedito in U.S.A.

      Quantità: 15 disponibili

      Condizione: As New. Unread book in perfect condition.

    • Lingua: Inglese

      Editore: Springer, 1982

      3540114904 / 9783540114901

      • Brossura

      Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 61,09

      EUR 13,18 spedizione 
      Spedito da Regno Unito a U.S.A.

      Quantità: Più di 20 disponibili

      Condizione: New. In English.

    • Lingua: Inglese

      Editore: Springer, 1982

      3540114904 / 9783540114901

      • Brossura

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

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 76,18

      EUR 2,29 spedizione 
      Spedito in U.S.A.

      Quantità: 15 disponibili

      Condizione: New.

    • Lingua: Inglese

      Editore: Springer, 1982

      3540114904 / 9783540114901

      • Brossura

      Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 61,08

      EUR 17,51 spedizione 
      Spedito da Regno Unito a U.S.A.

      Quantità: Più di 20 disponibili

      Condizione: New.

    • Lingua: Inglese

      Editore: Springer, 1982

      3540114904 / 9783540114901

      • Brossura

      Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Usato - Come nuovo

      EUR 67,24

      EUR 17,51 spedizione 
      Spedito da Regno Unito a U.S.A.

      Quantità: Più di 20 disponibili

      Condizione: As New. Unread book in perfect condition.

    • Lingua: Inglese

      Editore: Springer, 1982

      3540114904 / 9783540114901

      • Brossura

      Da: Books Puddle, New York, NY, U.S.A.Books Puddle

      Venditore con 4 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 82,23

      EUR 3,46 spedizione 
      Spedito in U.S.A.

      Quantità: 4 disponibili

      Condizione: New. pp. 436.

    • Lingua: Inglese

      Editore: Springer Berlin Heidelberg, 1982

      3540114904 / 9783540114901

      • Brossura

      Da: moluna, Greven, Germaniamoluna

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 48,37

      EUR 48,99 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: Più di 20 disponibili

      Condizione: New.

    • Lingua: Inglese

      Editore: Springer, Springer, 1982

      3540114904 / 9783540114901

      • Brossura

      Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 53,49

      EUR 63,29 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 1 disponibili

      Taschenbuch. Condizione: 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.…

    • Lingua: Inglese

      Editore: Springer, 1982

      3540114904 / 9783540114901

      • Brossura
      • Print on Demand

      Da: Majestic Books, Hounslow, Regno UnitoMajestic Books

      Venditore con 4 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 80,11

      EUR 7,59 spedizione 
      Spedito da Regno Unito a U.S.A.

      Quantità: 4 disponibili

      Condizione: 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.

    • Lingua: Inglese

      Editore: Springer, 1982

      3540114904 / 9783540114901

      • Brossura
      • Print on Demand

      Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios

      Venditore con 4 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 81,42

      EUR 9,95 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 4 disponibili

      Condizione: New. PRINT ON DEMAND pp. 436.

    • Lingua: Inglese

      Editore: Springer, Springer Apr 1982, 1982

      3540114904 / 9783540114901

      • Brossura
      • Print on Demand

      Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 53,49

      EUR 60,00 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 1 disponibili

      Taschenbuch. Condizione: 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. …

    • Lingua: Inglese

      Editore: Springer Berlin Heidelberg Apr 1982, 1982

      3540114904 / 9783540114901

      • Brossura
      • Print on Demand

      Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 93,08

      EUR 23,00 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 2 disponibili

      Taschenbuch. Condizione: 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. …

    • Lingua: Inglese

      Editore: Springer, 1982

      3540114904 / 9783540114901

      • Brossura
      • Print on Demand

      Da: preigu, Osnabrück, Germaniapreigu

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 50,25

      EUR 70,00 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 5 disponibili

      Taschenbuch. Condizione: 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. …