Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Logic-Based Program Synthesis and Transformation
- 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings
Engelsk Paperback
Se mere i:

Logic-Based Program Synthesis and Transformation

- 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings
Engelsk Paperback

483 kr
Tilføj til kurv
Sikker betaling
23 - 25 hverdage

Om denne bog
This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022.
The 8 full papers were selected from 17 submissions and cover different aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.
Product detaljer
Sprog:
Engelsk
Sider:
155
ISBN-13:
9783031167669
Indbinding:
Paperback
Udgave:
ISBN-10:
303116766X
Udg. Dato:
11 sep 2022
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer International Publishing AG
Oplagsdato:
11 sep 2022
Forfatter(e):
Oversætter:
Finder produkter...
Kategori sammenhænge