Articles liés à Logic-Based Program Synthesis and Transformation: 22nd...

Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers - Couverture souple

 
9783642381966: Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Couverture souple
ISBN 10 : 3642381960 ISBN 13 : 9783642381966
Editeur : Springer, 2013

Synopsis

Logic-based Program Synthesis and Transformation This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 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.

Présentation de l'éditeur

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 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 « A propos du livre » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurSpringer
  • Date d'édition2013
  • ISBN 10 3642381960
  • ISBN 13 9783642381966
  • ReliureBroché
  • Langueanglais
  • Nombre de pages256
  • ÉditeurAlbert Elvira

Acheter D'occasion

état :  Très bon
Zustand: Sehr gut - Buchschnitt...
Afficher cet article
9783642381966: Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
EUR 36,38

Autre devise

EUR 45 expédition depuis Allemagne vers Etats-Unis

Destinations, frais et délais

Acheter neuf

Afficher cet article
9783642381966: Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
EUR 57,93

Autre devise

EUR 14,13 expédition depuis Royaume-Uni vers Etats-Unis

Destinations, frais et délais

Autres éditions populaires du même titre

9783642381980: Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Edition présentée

ISBN 10 :  3642381987 ISBN 13 :  9783642381980
Editeur : Springer, 2013
Couverture souple

Résultats de recherche pour Logic-Based Program Synthesis and Transformation: 22nd...

Image d'archives

Edité par Springer, 2013
ISBN 10 : 3642381960 ISBN 13 : 9783642381966
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 ria9783642381966_new

Contacter le vendeur

Acheter neuf

EUR 57,93
Autre devise
Frais de port : EUR 14,13
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Elvira Albert
ISBN 10 : 3642381960 ISBN 13 : 9783642381966
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 post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 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. 256 pp. Englisch. N° de réf. du vendeur 9783642381966

Contacter le vendeur

Acheter neuf

EUR 49,22
Autre devise
Frais de port : EUR 23
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Albert, Elvira (EDT)
Edité par Springer, 2013
ISBN 10 : 3642381960 ISBN 13 : 9783642381966
Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, 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 19605075-n

Contacter le vendeur

Acheter neuf

EUR 71,80
Autre devise
Frais de port : EUR 2,35
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Edité par Springer, 2013
ISBN 10 : 3642381960 ISBN 13 : 9783642381966
Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, 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 ABLIING23Mar3113020225566

Contacter le vendeur

Acheter neuf

EUR 70,77
Autre devise
Frais de port : EUR 3,55
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Albert, Elvira (EDT)
Edité par Springer, 2013
ISBN 10 : 3642381960 ISBN 13 : 9783642381966
Neuf Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

É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 19605075-n

Contacter le vendeur

Acheter neuf

EUR 57,92
Autre devise
Frais de port : EUR 17,69
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Elvira Albert
Edité par Springer Berlin Heidelberg, 2013
ISBN 10 : 3642381960 ISBN 13 : 9783642381966
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 post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 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 9783642381966

Contacter le vendeur

Acheter neuf

EUR 49,22
Autre devise
Frais de port : EUR 29,96
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2013
ISBN 10 : 3642381960 ISBN 13 : 9783642381966
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. 256. N° de réf. du vendeur 2648033049

Contacter le vendeur

Acheter neuf

EUR 77,26
Autre devise
Frais de port : EUR 3,55
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Unbekannt
Edité par Springer Berlin Heidelberg, 2013
ISBN 10 : 3642381960 ISBN 13 : 9783642381966
Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

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

Etat : Sehr gut. Zustand: Sehr gut - Buchschnitt verkürzt- gepflegter, sauberer Zustand - Ausgabejahr 2013 | Seiten: 256 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 23686709/12

Contacter le vendeur

Acheter D'occasion

EUR 36,38
Autre devise
Frais de port : EUR 45
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2013
ISBN 10 : 3642381960 ISBN 13 : 9783642381966
Neuf Couverture souple
impression à la demande

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. Print on Demand pp. 256 36 Illus. N° de réf. du vendeur 44782278

Contacter le vendeur

Acheter neuf

EUR 78,84
Autre devise
Frais de port : EUR 7,66
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Albert Elvira
Edité par Springer, 2013
ISBN 10 : 3642381960 ISBN 13 : 9783642381966
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. 256. N° de réf. du vendeur 1848033043

Contacter le vendeur

Acheter neuf

EUR 79,74
Autre devise
Frais de port : EUR 9,95
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

There are 4 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre