Mohlo by sa vám tiež páčiť

Viac informácií o knihe Logic-Based Program Synthesis and Transformation

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 159 bodov

Anotácia 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.

Parametre knihy

Zaradenie knihy Knihy po nemecky Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Informatik

• Celý názov: Logic-Based Program Synthesis and Transformation
• Autor: Laura Titolo
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 194
• EAN: 9783032048479
• ISBN: 3032048478
• ID: 49343228
• Nakladateľ: Springer-Verlag GmbH
• Hmotnosť: 347 g
• Dátum vydania: 09. October 2025

Obľúbené z iného súdka

---

---

---