Logic-Based Program Synthesis and Transformation (Paperback)

Lingua: inglese

Editore: Springer International Publishing AG, Cham, 2024

3031712935 / 9783031712937

Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail

Venditore con 5 stelle

Venditore AbeBooks dal 12 ottobre 2005

Visualizza gli articoli di questo venditore
Brossura

Condizione: Nuovo

EUR 82,55

 Spedizione gratuita 
Spedito in U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello

Descrizione dell’articolo da parte del venditore

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

Titolo
Logic-Based Program Synthesis and Transformation (Paperback)
Autore
Juliana Bowles
Editore
Springer International Publishing AG, Cham
Anno di pubblicazione
2024
Condizione
new
Rilegatura
Paperback
Lingua
inglese
ISBN 10
3031712935
ISBN 13
9783031712937

Grand Eagle Retail

Bensenville, IL, U.S.A.

Venditore con 5 stelle

Venditore AbeBooks dal 12 ottobre 2005

Tariffe di spedizione nazionale per U.S.A.

ArticoloDa 6 a 14 giorni lavorativiDa 6 a 16 giorni lavorativi
Primo articoloEUR 0,00EUR 0,00
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

VisaMastercardAmerican ExpressCarte BleueApple PayGoogle Pay

Informazioni sull’azienda del venditore

APOLLO ONLINE CORP.

605 Geddes Street
Wilmington, DE U.S.A. 19805