Articles liés à Logic-Based Program Synthesis and Transformation: 34th...
Logic-Based Program Synthesis and Transformation: 34th International Symposium, Lopstr 2024, Milan, Italy, September 9-10, 2024, Proceedings - Couverture souple
Synopsis
This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9-10, 2024.
The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: Synthesis and Transformation; Decision Procedures; Deployment; Specification, Refactoring and Testing; and Term and Graph Rewriting.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 55,40
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisRésultats de recherche pour Logic-Based Program Synthesis and Transformation: 34th...
Image fournie par le vendeur
Logic-Based Program Synthesis and Transformation
Edité par
Springer Verlag GmbH, 2024
ISBN 10 : 3031712935
ISBN 13 : 9783031712937
Neuf
Couverture souple
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. N° de réf. du vendeur 1780999012
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logic-Based Program Synthesis and Transformation : 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9¿10, 2024, Proceedings
Edité par
Springer Nature Switzerland, 2024
ISBN 10 : 3031712935
ISBN 13 : 9783031712937
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 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9-10, 2024.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows:Synthesis and Transformation;Decision Procedures;Deployment;Specification, Refactoring and Testing; and Term and Graph Rewriting. N° de réf. du vendeur 9783031712937
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logic-Based Program Synthesis and Transformation
Edité par
Springer, Berlin, Springer Nature Switzerland, Springer, 2024
ISBN 10 : 3031712935
ISBN 13 : 9783031712937
Neuf
Taschenbuch
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 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9-10, 2024.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows:Synthesis and Transformation;Decision Procedures;Deployment;Specification, Refactoring and Testing; and Term and Graph Rewriting. 235 pp. Englisch. N° de réf. du vendeur 9783031712937
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Logic-Based Program Synthesis and Transformation
Edité par
Springer Nature Switzerland Sep 2024, 2024
ISBN 10 : 3031712935
ISBN 13 : 9783031712937
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9¿10, 2024.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: Synthesis and Transformation; Decision Procedures; Deployment; Specification, Refactoring and Testing; and Term and Graph Rewriting.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch. N° de réf. du vendeur 9783031712937
Quantité disponible : 2 disponible(s)
Image d'archives
Logic-Based Program Synthesis and Transformation: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9?10, 2024, Proceedings (Lecture Notes in Computer Science, 14919)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. 2024th edition NO-PA16APR2015-KAP. N° de réf. du vendeur 26402768287
Quantité disponible : 4 disponible(s)
Image d'archives
Logic-Based Program Synthesis and Transformation: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9?10, 2024, Proceedings (Lecture Notes in Computer Science, 14919)
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand. N° de réf. du vendeur 410418752
Quantité disponible : 4 disponible(s)
Image d'archives
Logic-Based Program Synthesis and Transformation: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9?10, 2024, Proceedings (Lecture Notes in Computer Science, 14919)
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND. N° de réf. du vendeur 18402768277
Quantité disponible : 4 disponible(s)
Image d'archives
Logic-based Program Synthesis and Transformation: 34th International Symposium, Lopstr 2024, Milan, Italy, September 910, 2024, Proceedings
Edité par
Springer-Nature New York Inc, 2024
ISBN 10 : 3031712935
ISBN 13 : 9783031712937
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 257 pages. 9.25x6.10x8.90 inches. In Stock. N° de réf. du vendeur x-3031712935
Quantité disponible : 1 disponible(s)
Image d'archives
Logic-Based Program Synthesis and Transformation (Paperback)
Edité par
Springer International Publishing AG, Cham, 2024
ISBN 10 : 3031712935
ISBN 13 : 9783031712937
Neuf
Paperback
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 910, 2024.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: Synthesis and Transformation; Decision Procedures; Deployment; Specification, Refactoring and Testing; and Term and Graph Rewriting. This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 910, 2024.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783031712937
Quantité disponible : 1 disponible(s)