Logic Program Synthesis and Transformation : 6th International Workshop, Lopstr'96, Stockholm, Sweden, August 28-30, 1996 : Proceedings

International Workshop on Logic Program Synthesis and Transformation (6th : 1996 : Stockholm, Sweden) (COR); Gallagher, John

ISBN 10: 3540627189 ISBN 13: 9783540627180

Edit� par Springer, 1997

Ancien(s) ou d'occasion Couverture souple

Vendeur GreatBookPrices, Columbia, MD, Etats-Unis �valuation du vendeur 5 sur 5 �toiles

Vendeur AbeBooks depuis 6 avril 2009

Cet article sp�cifique n'est plus disponible.

Afficher tous les articles du vendeur Cr�er une demande de livres portant sur des articles similaires

Afficher tous les exemplaires de ce livre

A propos de cet article

Unread book in perfect condition. N� de r�f. du vendeur 917185

Signaler cet article

Synopsis :

This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.
The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

D�tails bibliographiques

Titre : Logic Program Synthesis and Transformation :...
�diteur : Springer
Date d'�dition : 1997
Reliure : Couverture souple
Etat : As New

Meilleurs r�sultats de recherche sur AbeBooks

Image fournie par le vendeur

Logic Program Synthesis and Transformation

Gallagher, John

Edit� par Springer Berlin Heidelberg, 1997

ISBN 10 : 3540627189 ISBN 13 : 9783540627180

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR 96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.The 17 revised fu. N� de r�f. du vendeur 4896059

Contacter le vendeur

Acheter neuf

EUR 48,37

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Autres images

Logic Program Synthesis and Transformation | 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings

John Gallagher

Edit� par Springer, 1997

ISBN 10 : 3540627189 ISBN 13 : 9783540627180

Neuf Taschenbuch

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Contacter le vendeur

Acheter neuf

EUR 50,25

Exp�dition �EUR 70
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Logic Program Synthesis and Transformation

John Gallagher

Edit� par Springer Berlin Heidelberg, Springer Berlin Heidelberg M�r 1997, 1997

ISBN 10 : 3540627189 ISBN 13 : 9783540627180

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 -This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development. 340 pp. Englisch. N� de r�f. du vendeur 9783540627180

Contacter le vendeur

Acheter neuf

EUR 53,49

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Logic Program Synthesis and Transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings

John Gallagher

Edit� par Springer, Springer, 1997

ISBN 10 : 3540627189 ISBN 13 : 9783540627180

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 - This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development. N� de r�f. du vendeur 9783540627180

Contacter le vendeur

Acheter neuf

EUR 53,49

Exp�dition �EUR 62,59
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Logic Program Synthesis and Transformation

John Gallagher

Edit� par Springer, Springer M�r 1997, 1997

ISBN 10 : 3540627189 ISBN 13 : 9783540627180

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 340 pp. Englisch. N� de r�f. du vendeur 9783540627180

Contacter le vendeur