Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
EUR 45,59
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 63,63
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 57,27
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 71,07
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 57,26
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 65,02
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Publicado por Springer Berlin Heidelberg, 1982
ISBN 10: 3540114904 ISBN 13: 9783540114901
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: preigu, Osnabrück, Alemania
EUR 50,35
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: 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.