Logic-Based Program Synthesis and Transformation
- 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
Forfatter: info mangler
- Format
- Bog, paperback
- Engelsk
Normalpris
kr. 414,95
Medlemspris
kr. 389,95
- Du sparer kr. 25,00
- Fri fragt
-
Leveringstid: 2-3 uger (Sendes fra fjernlager) Forventet levering: 11-03-2026
- Kan pakkes ind og sendes som gave
Beskrivelse
This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006. The 14 revised full papers cover tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis.
Detaljer
- SprogEngelsk
- Sidetal240
- Udgivelsesdato16-03-2007
- ISBN139783540714095
- Forlag Springer-verlag Berlin And Heidelberg Gmbh & Co. K
- FormatPaperback
Størrelse og vægt
10 cm
Anmeldelser
Vær den første!
Log ind for at skrive en anmeldelse.
Findes i disse kategorier...
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Dataarkitektur og logisk design
- Logic-Based Program Synthesis and Transformation
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Operativsystemer
- Logic-Based Program Synthesis and Transformation
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Softwareudvikling
- Logic-Based Program Synthesis and Transformation
- Fagbøger
- Andre fagbøger
- Matematik og naturvidenskab
- Matematik
- Matematikkens fundament
- Matematisk logik
- Logic-Based Program Synthesis and Transformation
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Matematisk datateori
- Logic-Based Program Synthesis and Transformation