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

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

Pris
DKK 572

Bestilles fra fjernlager

Forventes klar til forsendelse 13. - 21. maj.

Vores kunder siger:

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

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

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
Klipper/redaktør Proietti, Maurizio
Vis alle

Mere med Maurizio Proietti

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