Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
DPD courier 4.99 €
GLS courier 9.99 €
Shopping guide
My account
▸
Empty :-(
0
Logic-Based Program Synthesis and Transformation
30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings
Language
English
English
E-book
Adobe ePub DRM
This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based P...
Full description
Libristo code: 41011263
?
211 b
211 b
87.05
€
In stock
Immediate digital delivery
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.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Logic-Based Program Synthesis and Transformation
Author
Maribel Fernandez
Language
English
English
Binding
E-book - Adobe ePub DRM
Date of issue
2021
EAN
9783030684464
Libristo code
41011263
Publishers
Springer
