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: 41011263
Price: 78.49 EUR
Availability: InStock
Author: Maribel Fernandez
ISBN: 9783030684464

30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings

Maribel Fernandez

Jezik

Angleščina

E-knjiga Adobe ePub DRM

Koda Libristo: 41011263

Založba Springer, februar 2021

This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based P... Celoten opis

Koda Libristo: 41011263

190 b

78.49 €

Na zalogi Prenesi zdaj

This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions. The book also contains two invited talks in full paper length. The contributions were organized in topical sections named: rewriting; unification; types; verification; model checking and probabilistic programming; program analysis and testing; and logics.