Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers - Couverture souple

9783642322105: Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Couverture souple

ISBN 10 : 3642322107 ISBN 13 : 9783642322105

Editeur : Springer, 2012

Afficher les exemplaires de cette �dition comportant l?ISBN

3 D'occasion

De EUR 38,64

11 Neuf

De EUR 44,88

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2012
Langue: anglais
ISBN 10: 3642322107
ISBN 13: 9783642322105
Reliure: Broch�
Nombre de pages: 264
�diteur: Vidal Germ�n
Coordonn�es du fabricant: non disponible

Acheter D'occasion

�tat : Tr�s bon

Zustand: Sehr gut | Seiten: 264...

Afficher cet article

EUR 38,64

Autre devise

EUR 9,90 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 44,88

Autre devise

EUR 9,70 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

R�sultats de recherche pour Logic-Based Program Synthesis and Transformation: 21st...

Image d'archives

Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Unbekannt

Edit� par Springer Berlin Heidelberg, 2012

ISBN 10 : 3642322107 ISBN 13 : 9783642322105

Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : Sehr gut. Zustand: Sehr gut | Seiten: 264 | Sprache: Englisch | Produktart: B�cher. N� de r�f. du vendeur 23117393/12

Contacter le vendeur

Acheter D'occasion

EUR 38,64

Autre devise

Frais de port : EUR 9,90

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Logic-Based Program Synthesis and Transformation

Vidal, Germ�n

Edit� par Springer Berlin Heidelberg, 2012

ISBN 10 : 3642322107 ISBN 13 : 9783642322105

Neuf Kartoniert / Broschiert

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. State of the art research Fast track conference proceedings Up to date resultsThis book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR . N� de r�f. du vendeur 5056849

Contacter le vendeur

Acheter neuf

EUR 44,88

Autre devise

Frais de port : EUR 9,70

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Germ�n Vidal

Edit� par Springer Berlin Heidelberg, 2012

ISBN 10 : 3642322107 ISBN 13 : 9783642322105

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 thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm. N� de r�f. du vendeur 9783642322105

Contacter le vendeur

Acheter neuf

EUR 49,22

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

Logic-Based Program Synthesis and Transformation

Germ�n Vidal

Edit� par Springer Berlin Heidelberg Okt 2012, 2012

ISBN 10 : 3642322107 ISBN 13 : 9783642322105

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 thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm. 264 pp. Englisch. N� de r�f. du vendeur 9783642322105

Contacter le vendeur

Acheter neuf

EUR 49,22

Autre devise

Frais de port : EUR 11

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers (Lecture Notes in Computer Science, 7225)

Edit� par Springer, 2012

ISBN 10 : 3642322107 ISBN 13 : 9783642322105

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783642322105_new

Contacter le vendeur

Acheter neuf

EUR 57,05

Autre devise

Frais de port : EUR 4,63

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Logic-Based Program Synthesis and Transformation: 21st International Symposium, Lopstr 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Paper

Vidal, Germ N.

Edit� par Springer 2012-10, 2012

ISBN 10 : 3642322107 ISBN 13 : 9783642322105

Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

PF. Etat : New. N� de r�f. du vendeur 6666-IUK-9783642322105

Contacter le vendeur

Acheter neuf

EUR 51,48

Autre devise

Frais de port : EUR 11,02

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Logic-Based Program Synthesis and Transformation

Germ�n Vidal

Edit� par Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 2012, 2012

ISBN 10 : 3642322107 ISBN 13 : 9783642322105

Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Neuware -This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch. N� de r�f. du vendeur 9783642322105

Contacter le vendeur