Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer
SKU: 47699995
Price: 66.35 EUR
Availability: InStock
Author: Juliana Bowles
ISBN: 9783031712944

34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings

Juliana Bowles

Harald Sondergaard

Jezik

Angleščina

E-knjiga Adobe ePub DRM

Založba Springer, september 2024

This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Pr... Celoten opis

Koda Libristo: 47699995

161 b

66.35 €

Na zalogi Prenesi zdaj

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.