Articles liés à Logic-Based Program Synthesis and Transformation: 16th...

Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006 Venice, Italy, July 12-14, 2006 Revised Selected Papers - Couverture souple

 
9783540714095: Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006 Venice, Italy, July 12-14, 2006 Revised Selected Papers
Couverture souple
ISBN 10 : 354071409X ISBN 13 : 9783540714095
Editeur : Springer, 2009

Synopsis

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006. The 14 revised full papers cover tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2009
Langue
anglais
ISBN 10 
354071409X
ISBN 13 
9783540714095
Reliure
Broché
Nombre de pages
248
Éditeur
Puebla Germán
Coordonnées du fabricant
non disponible

Acheter D'occasion

état :  Assez bon
Ex-library paperback in very nice...
Afficher cet article
9783540714095: Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006 Venice, Italy, July 12-14, 2006 Revised Selected Papers
EUR 42,54

Autre devise

EUR 55,57 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
9783540714095: Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006 Venice, Italy, July 12-14, 2006 Revised Selected Papers
EUR 52,67

Autre devise

EUR 9,70 expédition depuis Allemagne vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9783540836476: Logic-Based Program Synthesis and Transformation

Edition présentée

ISBN 10 :  3540836470 ISBN 13 :  9783540836476
Editeur : Springer, 2008
Couverture souple

Résultats de recherche pour Logic-Based Program Synthesis and Transformation: 16th...

Image fournie par le vendeur

Puebla, Germán
Edité par Springer Berlin Heidelberg, 2007
ISBN 10 : 354071409X ISBN 13 : 9783540714095
Neuf Kartoniert / Broschiert
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006. N° de réf. du vendeur 4899222

Contacter le vendeur

Acheter neuf

EUR 52,67
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

Germán Puebla
ISBN 10 : 354071409X ISBN 13 : 9783540714095
Neuf Taschenbuch
impression à la demande

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

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006. The 14 revised full papers cover tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis. 240 pp. Englisch. N° de réf. du vendeur 9783540714095

Contacter le vendeur

Acheter neuf

EUR 53,49
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

Edité par Springer, 2007
ISBN 10 : 354071409X ISBN 13 : 9783540714095
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9783540714095_new

Contacter le vendeur

Acheter neuf

EUR 60,39
Autre devise
Frais de port : EUR 4,60
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Germán Puebla
ISBN 10 : 354071409X ISBN 13 : 9783540714095
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006. The 14 revised full papers cover tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis. N° de réf. du vendeur 9783540714095

Contacter le vendeur

Acheter neuf

EUR 56,98
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2007
ISBN 10 : 354071409X ISBN 13 : 9783540714095
Neuf Couverture souple

Vendeur : California Books, Miami, FL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur I-9783540714095

Contacter le vendeur

Acheter neuf

EUR 65,17
Autre devise
Frais de port : EUR 6,84
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Edité par Springer, 2007
ISBN 10 : 354071409X ISBN 13 : 9783540714095
Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 252. N° de réf. du vendeur 26301725

Contacter le vendeur

Acheter neuf

EUR 70,36
Autre devise
Frais de port : EUR 7,69
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2007
ISBN 10 : 354071409X ISBN 13 : 9783540714095
Neuf Couverture souple

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 252 Illus. N° de réf. du vendeur 7546178

Contacter le vendeur

Acheter neuf

EUR 71,02
Autre devise
Frais de port : EUR 10,21
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Puebla, German|
Edité par Springer 2007-03, 2007
ISBN 10 : 354071409X ISBN 13 : 9783540714095
Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540714095

Contacter le vendeur

Acheter neuf

EUR 71,75
Autre devise
Frais de port : EUR 10,95
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image d'archives

Puebla Germ?n
Edité par Springer, 2007
ISBN 10 : 354071409X ISBN 13 : 9783540714095
Neuf Couverture souple
impression à la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. PRINT ON DEMAND pp. 252. N° de réf. du vendeur 18301719

Contacter le vendeur

Acheter neuf

EUR 82,34
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Puebla, Germán [Editor]
Edité par Springer, 2007
ISBN 10 : 354071409X ISBN 13 : 9783540714095
Ancien ou d'occasion Paperback

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

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. N° de réf. du vendeur DA1412666

Contacter le vendeur

Acheter D'occasion

EUR 42,54
Autre devise
Frais de port : EUR 55,57
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

There are 1 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre