paperback. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N� de r�f. du vendeur S_348438692

Contacter le vendeur

Acheter D'occasion

EUR 44,26

Autre devise

Frais de port : EUR 3,34

Vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected ... Computer Science and General Issues)

Edit� par Springer, 2017

ISBN 10 : 3319631381 ISBN 13 : 9783319631387

Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur ABLIING23Mar3113020101822

Contacter le vendeur

Acheter neuf

EUR 54,62

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

Logic-based Program Synthesis and Transformation : 26th International Symposium, Lopstr 2016, Edinburgh, Uk, September 6?8, 2016, Revised Selected Papers

Hermenegildo, Manuel V. (EDT); Lopez-garcia, Pedro (EDT)

Edit� par Springer, 2017

ISBN 10 : 3319631381 ISBN 13 : 9783319631387

Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 29683404-n

Contacter le vendeur

Acheter neuf

EUR 55,85

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 fournie par le vendeur

Logic-based Program Synthesis and Transformation : 26th International Symposium, Lopstr 2016, Edinburgh, Uk, September 6?8, 2016, Revised Selected Papers

Hermenegildo, Manuel V. (EDT); Lopez-garcia, Pedro (EDT)

Edit� par Springer, 2017

ISBN 10 : 3319631381 ISBN 13 : 9783319631387

Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : As New. Unread book in perfect condition. N� de r�f. du vendeur 29683404

Contacter le vendeur

Acheter D'occasion

EUR 56,48

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

Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected ... Computer Science and General Issues)

Edit� par Springer, 2017

ISBN 10 : 3319631381 ISBN 13 : 9783319631387

Neuf Couverture souple

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

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur I-9783319631387

Contacter le vendeur

Acheter neuf

EUR 67,88

Autre devise

Frais de port : Gratuit

Vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected ... Computer Science and General Issues)

Edit� par Springer, 2017

ISBN 10 : 3319631381 ISBN 13 : 9783319631387

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 ria9783319631387_new

Contacter le vendeur

Acheter neuf

EUR 61,93

Autre devise

Frais de port : EUR 14,18

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

Logic-Based Program Synthesis and Transformation

Pedro Lopez-Garcia

Edit� par Springer International Publishing Jul 2017, 2017

ISBN 10 : 3319631381 ISBN 13 : 9783319631387

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 post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016.The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools. 380 pp. Englisch. N� de r�f. du vendeur 9783319631387

Contacter le vendeur