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

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

Couverture souple

ISBN 10 : 303116766X ISBN 13 : 9783031167669

Editeur : Springer, 2022

Afficher les exemplaires de cette �dition comportant l?ISBN

This book constitutes the refereed proceedings of the 32^nd 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.

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

�diteur: Springer
Date d'�dition: 2022
Langue: anglais
ISBN 10: 303116766X
ISBN 13: 9783031167669
Reliure: Broch�
Num�ro d'�dition: 1
Nombre de pages: 172
�diteur: Villanueva Alicia
Coordonn�es du fabricant: non disponible
Personne responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Acheter neuf

Afficher cet article

EUR 56,56

Autre devise

EUR 3,41 exp�dition vers Etats-Unis

Destinations, frais et d�lais

Ajouter au panier

R�sultats de recherche pour Logic-Based Program Synthesis and Transformation: 32nd...

Image d'archives

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

Edit� par Springer, 2022

ISBN 10 : 303116766X ISBN 13 : 9783031167669

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 ABLIING23Mar3113020036632

Contacter le vendeur

Acheter neuf

EUR 56,56

Autre devise

Frais de port : EUR 3,41

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: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings (Lecture Notes in Computer Science)

Edit� par Springer, 2022

ISBN 10 : 303116766X ISBN 13 : 9783031167669

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-9783031167669

Contacter le vendeur

Acheter neuf

EUR 70,33

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: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings (Lecture Notes in Computer Science)

Edit� par Springer, 2022

ISBN 10 : 303116766X ISBN 13 : 9783031167669

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 ria9783031167669_new

Contacter le vendeur

Acheter neuf

EUR 60,52

Autre devise

Frais de port : EUR 13,85

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

Villanueva, Alicia

Edit� par Springer 2022-09, 2022

ISBN 10 : 303116766X ISBN 13 : 9783031167669

Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

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

Contacter le vendeur

Acheter neuf

EUR 56,60

Autre devise

Frais de port : EUR 17,91

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Logic-Based Program Synthesis and Transformation

Alicia Villanueva

Edit� par Springer International Publishing Sep 2022, 2022

ISBN 10 : 303116766X ISBN 13 : 9783031167669

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 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 d'archives

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

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 82,30

Autre devise

Frais de port : EUR 3,41

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 21?23, 2022, Proceedings (Lecture Notes in Computer Science)

Edit� par Springer, 2022

ISBN 10 : 303116766X ISBN 13 : 9783031167669

Neuf Couverture souple

impression � la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. Print on Demand. N� de r�f. du vendeur 400626420

Contacter le vendeur

Acheter neuf

EUR 84,46

Autre devise

Frais de port : EUR 7,52

De Royaume-Uni 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 21?23, 2022, Proceedings (Lecture Notes in Computer Science)

Edit� par Springer, 2022

ISBN 10 : 303116766X ISBN 13 : 9783031167669

Neuf Couverture souple

impression � la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. PRINT ON DEMAND. N� de r�f. du vendeur 18395750689

Contacter le vendeur

Acheter neuf

EUR 87,61

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

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 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. 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