Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings: 31st ... September 7–8, 2021, Proceedings: 13290 - Brossura

9783030988685: Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings: 31st ... September 7–8, 2021, Proceedings: 13290

Brossura

ISBN 10: 3030988686 ISBN 13: 9783030988685

Casa editrice: Springer, 2022

Vedi tutte le copie di questa edizione con ISBN

2 Usato

Da: EUR 68,08

11 Nuovo

Da: EUR 52,76

This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.*

The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk.

*Conference was held as a hybrid event due to the COVID-19 pandemic.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore: Springer
Data di pubblicazione: 2022
Lingua: Inglese
ISBN 10: 3030988686
ISBN 13: 9783030988685
Rilegatura: Copertina flessibile
Numero edizione: 1
Numero di pagine: 188
Redattore: De Angelis Emanuele, Vanhoof Wim
Contatto del produttore: non disponibile

Compra usato

Condizioni: come nuovo

Unread book in perfect condition...

Visualizza questo articolo

EUR 68,08

Convertire valuta

EUR 16,97 per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

Aggiungi al carrello

Compra nuovo

Visualizza questo articolo

EUR 52,76

Convertire valuta

EUR 9,70 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Aggiungi al carrello

Risultati della ricerca per Logic-Based Program Synthesis and Transformation: 31st...

Immagini fornite dal venditore

Logic-Based Program Synthesis and Transformation

Editore: Springer, Berlin|Springer International Publishing|Springer, 2022

ISBN 10: 3030988686 ISBN 13: 9783030988685

Nuovo Kartoniert / Broschiert

Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle

Kartoniert / Broschiert. Condizione: 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 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.*The 8 papers presented in this volume were carefully reviewed an. Codice articolo 566539795

Contatta il venditore

Compra nuovo

EUR 52,76

Convertire valuta

Spese di spedizione: EUR 9,70

Da: Germania a: Italia

Destinazione, tempi e costi

Quantit�: Pi� di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Logic-Based Program Synthesis and Transformation

Wim Vanhoof

Editore: Springer International Publishing Mrz 2022, 2022

ISBN 10: 3030988686 ISBN 13: 9783030988685

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 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.\*The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk. \*Conference was held as a hybrid event due to the COVID-19 pandemic. 188 pp. Englisch. Codice articolo 9783030988685

Contatta il venditore

Compra nuovo

EUR 58,84

Convertire valuta

Spese di spedizione: EUR 11,00

Da: Germania a: Italia

Destinazione, tempi e costi

Quantit�: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Logic-Based Program Synthesis and Transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7�8, 2021, Proceedings

Wim Vanhoof

Editore: Springer International Publishing, 2022

ISBN 10: 3030988686 ISBN 13: 9783030988685

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 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.\*The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk. \*Conference was held as a hybrid event due to the COVID-19 pandemic. Codice articolo 9783030988685

Contatta il venditore

Compra nuovo

EUR 58,84

Convertire valuta

Spese di spedizione: EUR 14,99

Da: Germania a: Italia

Destinazione, tempi e costi

Quantit�: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Logic-Based Program Synthesis and Transformation

Wim Vanhoof

Editore: Springer International Publishing, Springer International Publishing M�r 2022, 2022

ISBN 10: 3030988686 ISBN 13: 9783030988685

Nuovo Taschenbuch

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.\*The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk.\*Conference was held as a hybrid event due to the COVID-19 pandemic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch. Codice articolo 9783030988685

Contatta il venditore