Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and cover different 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. 172 pp. Englisch. N� de r�f. du vendeur 9783031167669

Contacter le vendeur

Acheter neuf

EUR 58,84

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

Logic-Based Program Synthesis and Transformation : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21�23, 2022, Proceedings

Alicia Villanueva

Edit� par Springer International Publishing, 2022

ISBN 10 : 303116766X ISBN 13 : 9783031167669

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 refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and cover different 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. N� de r�f. du vendeur 9783031167669

Contacter le vendeur

Acheter neuf

EUR 58,84

Autre devise

Frais de port : EUR 29,35

De Allemagne 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: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings: 13474

Edit� par Springer, 2022

ISBN 10 : 303116766X ISBN 13 : 9783031167669

Neuf Couverture souple

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

�valuation du vendeur 4 sur 5 �toiles

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

Contacter le vendeur

Acheter neuf

EUR 91,93

Autre devise

Frais de port : EUR 3,57

Vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 2123, 2022, Proceedings: 13474 (Lecture Notes in Computer Science, 13474)

Villanueva, Alicia (Editor)

Edit� par Springer, 2022

ISBN 10 : 303116766X ISBN 13 : 9783031167669

Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. 168 pages. 9.25x6.10x0.71 inches. In Stock. N� de r�f. du vendeur x-303116766X

Contacter le vendeur

Acheter neuf

EUR 87,21

Autre devise

Frais de port : EUR 11,89

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Logic-Based Program Synthesis and Transformation

Edit� par Springer, Berlin|Springer International Publishing|Springer, 2022

ISBN 10 : 303116766X ISBN 13 : 9783031167669

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 refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and . N� de r�f. du vendeur 690281443

Contacter le vendeur