Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Logic-Based Program Synthesis and Transformation Laura Titolo

Logic-Based Program Synthesis and Transformation

Szerző: Laura Titolo
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag GmbH
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
22 281 Ft
This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synth...

Információk a könyvről

Szerző
Laura Titolo
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2025
oldal
194
EAN
9783032048479
ISBN
3032048478
Enbook ID
49343228
Kiadó
Springer-Verlag GmbH
Súly
347

Teljes leírás

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.

Érdekelheti

Making America

Carol Berkin
27 732 Ft

Lives of Eminent British Lawyers. Volume 1 of 2

Henry Roscoe
8 098 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Gestion Formativa Investigativa Universitaria

Martha Virginia Díaz Alarcón
16 393 Ft

Grisel, al pie del Moncayo

AZAGRA MURILLO
3 085 Ft

LAS AVENTURAS DE RUA 1

7 165 Ft

Impacto da gestão de stocks no desempenho da empresa

Suleman Bawa
13 361 Ft