Logic-Based Program Synthesis and Transformation / Lecture Notes in Computer Science Bd.13474 (PDF)
32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings
(Sprache: Englisch)
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...
The 8 full papers were selected from 17 submissions and cover...
sofort als Download lieferbar
eBook (pdf)
Fr. 65.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Logic-Based Program Synthesis and Transformation / Lecture Notes in Computer Science Bd.13474 (PDF)“
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.
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.
Bibliographische Angaben
- 2022, 1st ed. 2022, 155 Seiten, Englisch
- Herausgegeben: Alicia Villanueva
- Verlag: Springer Nature Switzerland
- ISBN-10: 3031167678
- ISBN-13: 9783031167676
- Erscheinungsdatum: 10.09.2022
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 5.09 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Logic-Based Program Synthesis and Transformation / Lecture Notes in Computer Science Bd.13474"
0 Gebrauchte Artikel zu „Logic-Based Program Synthesis and Transformation / Lecture Notes in Computer Science Bd.13474“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Logic-Based Program Synthesis and Transformation / Lecture Notes in Computer Science Bd.13474".
Kommentar verfassen