Softcover. Etat : 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 r�f. du vendeur E-597-394

Contacter le vendeur

Acheter D'occasion

EUR 6,97

Autre devise

Frais de port : EUR 3,50

Vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Algebraic Methods: Theory, Tools and Applications

Unbekannt

Edit� par Springer Berlin Heidelberg, 1989

ISBN 10 : 3540516980 ISBN 13 : 9783540516989

Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Au�en: verschmutzt. Aus der Aufl�sung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 568 | Sprache: Englisch | Produktart: B�cher. N� de r�f. du vendeur 78084/202

Contacter le vendeur

Acheter D'occasion

EUR 20,61

Autre devise

Frais de port : EUR 3,90

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Algebraic Methods: Theory, Tools and Applications

Unbekannt

Edit� par Springer Berlin Heidelberg, 1989

ISBN 10 : 3540516980 ISBN 13 : 9783540516989

Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Innen: Seiten eingerissen. Aus der Aufl�sung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 568 | Sprache: Englisch | Produktart: B�cher. N� de r�f. du vendeur 78084/203

Contacter le vendeur

Acheter D'occasion

EUR 20,61

Autre devise

Frais de port : EUR 3,90

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

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

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

Edit� par Springer, 1989

ISBN 10 : 3540516980 ISBN 13 : 9783540516989

Ancien ou d'occasion Paperback

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Very Good. 0387516980 Ex-library paperback in very nice condition with the usual markings and attachments. N� de r�f. du vendeur UTD14a-1171

Contacter le vendeur

Acheter D'occasion

EUR 6,38

Autre devise

Frais de port : EUR 57,58

De Etats-Unis vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Algebraic Methods: Theory, Tools and Applications

Jan A. Bergstra

Edit� par Springer Berlin Heidelberg, 1989

ISBN 10 : 3540516980 ISBN 13 : 9783540516989

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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 r�f. du vendeur 9783540516989

Contacter le vendeur

Acheter neuf

EUR 106,99

Autre devise

Frais de port : EUR 10,99

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Algebraic Methods: Theory, Tools and Applications

Jan A. Bergstra

Edit� par Springer Berlin Heidelberg Sep 1989, 1989

ISBN 10 : 3540516980 ISBN 13 : 9783540516989

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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 r�f. du vendeur 9783540516989

Contacter le vendeur