Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr '95, Utrecht, the Netherlands, September 20-22, 1995. Proceedings - Lecture Notes in Computer Science - Maurizio Proietti - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540609391 - 6. marts 1996
Ved uoverensstemmelse mellem cover og titel gælder titel

Maurizio Proietti
Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr '95, Utrecht, the Netherlands, September 20-22, 1995. Proceedings - Lecture Notes in Computer Science

Pris
₺ 2.935

Bestilles fra fjernlager

Forventes klar til forsendelse 9. - 15. dec.
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

These conference proceedings offer an up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Topics addressed include deductive and inductive program synthesis and synthesis models based on constructive type theory.

274 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 6. marts 1996
ISBN13 9783540609391
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 274
Mål 156 × 234 × 15 mm   ·   399 g
Sprog Tysk  
Klipper/redaktør Proietti, Maurizio
Vis alle

Mere med Maurizio Proietti

Se alt med Maurizio Proietti ( f.eks. Bog og Paperback Bog )