Lecture Notes in Computer Science16117 Logic Based Program Synthesis and Transformation

Name: Lecture Notes in Computer Science16117 Logic Based Program Synthesis and Transformation
SKU: b29156db9037dc62318006e40c8ac942
Price: 55.99 EUR
Availability: InStock

1/1

Afbeelding van Lecture Notes in Computer Science16117 Logic Based Program Synthesis and Transformation

Bol

Prijzen vanaf

55,99

Uitgelicht

	55,99	Naar shop
VERGELIJK ALLE AANBIEDERS (1)

Beschrijving

Bol 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.

Lees meer

Vergelijk aanbieders (1)

Sorteren op:

€ 55,99 Gratis verzending

Beschrijving (1)

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.

Lees meer