Mohlo by se vám také líbit

Více informací o knize Logic-Based Program Synthesis and Transformation

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 137 bodů

Anotace knihy

This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 9 10, 2025.

The 17 full papers and 4 short paper included in this book were carefully reviewed and selected from  21 submissions. These papers cover all 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.

Parametry knihy

Zařazení knihy Knihy v němčině Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Informatik

• Plný název: Logic-Based Program Synthesis and Transformation
• Autor: Laura Titolo
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 194
• EAN: 9783032048479
• ISBN: 3032048478
• ID: 49343228
• Nakladatelství: Springer-Verlag GmbH
• Hmotnost: 347 g
• Datum vydání: 09. October 2025

Oblíbené z jiného soudku

---

---

---