Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981: 134 (Lecture Notes in Computer Science) - Softcover
Suchergebnisse für Program Specification: Proceedings of a Workshop Aarhus,...
Foto des Verkäufers
Program Specification
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Artikel-Nr. 4881390
Neu kaufen
EUR 48,37
Versand:
EUR 48,99
Von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Program Specification : Proceedings of a Workshop Aarhus, Denmark, August 1981
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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. Artikel-Nr. 9783540114901
Neu kaufen
EUR 53,49
Versand:
EUR 63,29
Von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Program Specification | Proceedings of a Workshop Aarhus, Denmark, August 1981
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Program Specification | Proceedings of a Workshop Aarhus, Denmark, August 1981 | J. Staunstrup | Taschenbuch | vi | Englisch | 1982 | Springer-Verlag GmbH | EAN 9783540114901 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Artikel-Nr. 102155929
Neu kaufen
EUR 50,35
Versand:
EUR 70,00
Von Deutschland nach USA
Anzahl: 5 verfügbar