Isbn: 9783540114901 - program specification: proceedings of a workshop aarhus, denmark, august 1981 (lecture notes in computer science, 134, band 134) (13 Ergebnisse)

ISBN: 
Mit der Detailsuche verfeinern

Optimieren Sie Ihre Suche

  • Bücher (13)

Mehr dazu

bis

Benutzerdefinierte Preisspanne (EUR)

bis

    • Sprache: Englisch

      Verlag: Springer, 1982

      3540114904 / 9783540114901

      • Softcover

      Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Gebraucht - Wie neu

      EUR 63,90

      EUR 2,29 Versand 
      Versand innerhalb von USA

      Anzahl: 15 verfügbar

      Zustand: As New. Unread book in perfect condition.

    • Sprache: Englisch

      Verlag: Springer, 1982

      3540114904 / 9783540114901

      • Softcover

      Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 61,09

      EUR 13,18 Versand 
      Versand von Vereinigtes Königreich nach USA

      Anzahl: Mehr als 20 verfügbar

      Zustand: New. In English.

    • Sprache: Englisch

      Verlag: Springer, 1982

      3540114904 / 9783540114901

      • Softcover

      Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 76,18

      EUR 2,29 Versand 
      Versand innerhalb von USA

      Anzahl: 15 verfügbar

      Zustand: New.

    • Sprache: Englisch

      Verlag: Springer, 1982

      3540114904 / 9783540114901

      • Softcover

      Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 61,08

      EUR 17,51 Versand 
      Versand von Vereinigtes Königreich nach USA

      Anzahl: Mehr als 20 verfügbar

      Zustand: New.

    • Sprache: Englisch

      Verlag: Springer, 1982

      3540114904 / 9783540114901

      • Softcover

      Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Gebraucht - Wie neu

      EUR 67,24

      EUR 17,51 Versand 
      Versand von Vereinigtes Königreich nach USA

      Anzahl: Mehr als 20 verfügbar

      Zustand: As New. Unread book in perfect condition.

    • Sprache: Englisch

      Verlag: Springer, 1982

      3540114904 / 9783540114901

      • Softcover

      Anbieter: Books Puddle, New York, NY, USABooks Puddle

      Verkäufer/-in mit 4 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 82,23

      EUR 3,46 Versand 
      Versand innerhalb von USA

      Anzahl: 4 verfügbar

      Zustand: New. pp. 436.

    • Sprache: Englisch

      Verlag: Springer Berlin Heidelberg, 1982

      3540114904 / 9783540114901

      • Softcover

      Anbieter: moluna, Greven, Deutschlandmoluna

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 48,37

      EUR 48,99 Versand 
      Versand von Deutschland nach USA

      Anzahl: Mehr als 20 verfügbar

      Zustand: New.

    • Sprache: Englisch

      Verlag: Springer, Springer, 1982

      3540114904 / 9783540114901

      • Softcover

      Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 53,49

      EUR 63,29 Versand 
      Versand von Deutschland nach USA

      Anzahl: 1 verfügbar

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

    • Sprache: Englisch

      Verlag: Springer, 1982

      3540114904 / 9783540114901

      • Softcover
      • Print-on-Demand

      Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books

      Verkäufer/-in mit 4 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 80,11

      EUR 7,59 Versand 
      Versand von Vereinigtes Königreich nach USA

      Anzahl: 4 verfügbar

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

    • Sprache: Englisch

      Verlag: Springer, 1982

      3540114904 / 9783540114901

      • Softcover
      • Print-on-Demand

      Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios

      Verkäufer/-in mit 4 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 81,42

      EUR 9,95 Versand 
      Versand von Deutschland nach USA

      Anzahl: 4 verfügbar

      Zustand: New. PRINT ON DEMAND pp. 436.

    • Sprache: Englisch

      Verlag: Springer, Springer Apr 1982, 1982

      3540114904 / 9783540114901

      • Softcover
      • Print-on-Demand

      Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 53,49

      EUR 60,00 Versand 
      Versand von Deutschland nach USA

      Anzahl: 1 verfügbar

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

    • Sprache: Englisch

      Verlag: Springer Berlin Heidelberg Apr 1982, 1982

      3540114904 / 9783540114901

      • Softcover
      • Print-on-Demand

      Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 93,08

      EUR 23,00 Versand 
      Versand von Deutschland nach USA

      Anzahl: 2 verfügbar

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

    • Sprache: Englisch

      Verlag: Springer, 1982

      3540114904 / 9783540114901

      • Softcover
      • Print-on-Demand

      Anbieter: preigu, Osnabrück, Deutschlandpreigu

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 50,25

      EUR 70,00 Versand 
      Versand von Deutschland nach USA

      Anzahl: 5 verfügbar

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