Softwareudvikling
Se alle bogdetaljer →
Logic-Based Program Synthesis and Transformation
30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings
Udgivet af Springer Nature Switzerland AG
ISBN
9783030684457
Om denne bog
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 conta…
Boghandelspriser
| Boghandel | Titel | Format | ISBN | Pris | Lagerstatus | Levering | |
|---|---|---|---|---|---|---|---|
Ingen boghandelstilbud endnuVi har titlen i kataloget. Priser vises her, når boghandlere lister den. |
|||||||
5
0
4
0
3
0
2
0
1
0
0%
Anbefaler
0
Verificeret
Ingen anmeldelser endnu
Bogdetaljer
Forlag
Springer Nature Switzerland AG
Kategori
Softwareudvikling
ISBN-13
9783030684457
EAN
9783030684457
Format
Hæftet
Sprog
Engelsk
sider
345
Undertitel
- 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings
Produktbeskrivelse
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.
Prishistorik
Indlæser prishistorik...