Softcover. Condici�n: Bon. Ancien livre de biblioth�que. L�g�res traces d'usure sur la couverture. Salissures sur la tranche. Edition 1989. Ammareal reverse jusqu'� 15% du prix net de cet article � des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations. N� de ref. del art�culo: E-597-394

Contactar al vendedor

Comprar usado

EUR 7,74

Convertir moneda

Gastos de env�o: EUR 6,00

De Francia a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Algebraic Methods: Theory, Tools and Applications

Unbekannt

Publicado por Springer Berlin Heidelberg, 1989

ISBN 10: 3540516980 ISBN 13: 9783540516989

Antiguo o usado Tapa blanda

Librería: Buchpark, Trebbin, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: Gut. Zustand: Gut | Seiten: 568 | Sprache: Englisch | Produktart: B�cher. N� de ref. del art�culo: 78084/203

Contactar al vendedor

Comprar usado

EUR 18,55

Convertir moneda

Gastos de env�o: EUR 14,90

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Algebraic Methods: Theory, Tools and Applications

Unbekannt

Publicado por Springer Berlin Heidelberg, 1989

ISBN 10: 3540516980 ISBN 13: 9783540516989

Antiguo o usado Tapa blanda

Librería: Buchpark, Trebbin, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: Sehr gut. Zustand: Sehr gut | Seiten: 568 | Sprache: Englisch | Produktart: B�cher. N� de ref. del art�culo: 78084/202

Contactar al vendedor

Comprar usado

EUR 18,55

Convertir moneda

Gastos de env�o: EUR 14,90

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science)

Wirsing, Martin [Editor]; Bergstra, Jan A. [Editor];

Publicado por Springer, 1989

ISBN 10: 3540516980 ISBN 13: 9783540516989

Antiguo o usado Paperback

Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: Very Good. 0387516980 Ex-library paperback in very nice condition with the usual markings and attachments. N� de ref. del art�culo: UTD14a-1171

Contactar al vendedor

Comprar usado

EUR 6,25

Convertir moneda

Gastos de env�o: EUR 65,07

De Estados Unidos de America a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Algebraic Methods: Theory, Tools and Applications

Wirsing, Martin|Bergstra, Jan A.

Publicado por Springer Berlin Heidelberg, 1989

ISBN 10: 3540516980 ISBN 13: 9783540516989

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable?.- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data . N� de ref. del art�culo: 4892089

Contactar al vendedor

Comprar nuevo

EUR 92,27

Convertir moneda

Gastos de env�o: EUR 19,49

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Algebraic Methods: Theory, Tools and Applications

Jan A. Bergstra

Publicado por Springer Berlin Heidelberg, 1989

ISBN 10: 3540516980 ISBN 13: 9783540516989

Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Druck auf Anfrage Neuware - Printed after ordering - Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable .- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data types, processes and objects.- Software specification by behavioural canons.- An introduction to COLD-K.- A formal specification of INGRES.- The logic MPL .- Description algebra.- The calculus .- The RAP system as a tool for testing COLD specifications.- A specification of the intel 8085 microprocessor: A case study.- Specification and prototyping of a compiler for a small applicative language.- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype.- ACP a universal axiom system for process specification.- Modular specifications in process algebra.- An algebraic specification of process algebra, including two examples. N� de ref. del art�culo: 9783540516989

Contactar al vendedor

Comprar nuevo

EUR 106,99

Convertir moneda

Gastos de env�o: EUR 11,99

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science, 394)

Publicado por Springer, 1989

ISBN 10: 3540516980 ISBN 13: 9783540516989

Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. In. N� de ref. del art�culo: ria9783540516989_new

Contactar al vendedor

Comprar nuevo

EUR 117,39

Convertir moneda

Gastos de env�o: EUR 4,65

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Algebraic Methods: Theory, Tools and Applications

Jan A. Bergstra

Publicado por Springer Berlin Heidelberg Sep 1989, 1989

ISBN 10: 3540516980 ISBN 13: 9783540516989

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable .- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data types, processes and objects.- Software specification by behavioural canons.- An introduction to COLD-K.- A formal specification of INGRES.- The logic MPL .- Description algebra.- The calculus .- The RAP system as a tool for testing COLD specifications.- A specification of the intel 8085 microprocessor: A case study.- Specification and prototyping of a compiler for a small applicative language.- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype.- ACP a universal axiom system for process specification.- Modular specifications in process algebra.- An algebraic specification of process algebra, including two examples. 568 pp. Englisch. N� de ref. del art�culo: 9783540516989

Contactar al vendedor

Comprar nuevo

EUR 112,34

Convertir moneda

Gastos de env�o: EUR 11,00

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Algebraic Methods: Theory, Tools and Applications

Jan A. Bergstra

Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1989, 1989

ISBN 10: 3540516980 ISBN 13: 9783540516989

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable .- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data types, processes and objects.- Software specification by behavioural canons.- An introduction to COLD-K.- A formal specification of INGRES.- The logic MPL .- Description algebra.- The calculus .- The RAP system as a tool for testing COLD specifications.- A specification of the intel 8085 microprocessor: A case study.- Specification and prototyping of a compiler for a small applicative language.- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype.- ACP a universal axiom system for process specification.- Modular specifications in process algebra.- An algebraic specification of process algebra, including two examples.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 568 pp. Englisch. N� de ref. del art�culo: 9783540516989

Contactar al vendedor