Hoppa till sidans huvudinnehåll

Del 16117

Logic-Based Program Synthesis and Transformation

35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings

Häftad, Engelska, 2025

AvSantiago Escobar,Laura Titolo

819 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.


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.

Produktinformation

  • Utgivningsdatum2025-09-13
  • Mått155 x 235 x 13 mm
  • Vikt347 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor213
  • FörlagSpringer Nature Switzerland AG
  • ISBN9783032048479

Tillhör följande kategorier

Hoppa över listan

Du kanske också är intresserad av

NASA Formal Methods

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez, Cesar A. Munoz

Häftad

1 159 kr