Paperback. Condizione: 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. Codice articolo 9783031712937

Contatta il venditore

Compra nuovo

EUR 80,51

Convertire valuta

Spese di spedizione: GRATIS

In U.S.A.

Destinazione, tempi e costi

Quantit�: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Logic-Based Program Synthesis and Transformation

Juliana Bowles

Editore: Springer, Berlin, Springer Nature Switzerland, Springer, 2024

ISBN 10: 3031712935 ISBN 13: 9783031712937

Nuovo Taschenbuch

Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle

Taschenbuch. Condizione: 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. Codice articolo 9783031712937

Contatta il venditore

Compra nuovo

EUR 62,05

Convertire valuta

Spese di spedizione: EUR 23,00

Da: Germania a: U.S.A.

Destinazione, tempi e costi

Quantit�: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Logic-Based Program Synthesis and Transformation : 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9�10, 2024, Proceedings

Harald S�ndergaard

Editore: Springer Nature Switzerland, 2024

ISBN 10: 3031712935 ISBN 13: 9783031712937

Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle

Taschenbuch. Condizione: 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. Codice articolo 9783031712937

Contatta il venditore