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øker - Springer-Verlag Berlin and Heidelberg Gm - 9783540609391 - 6. mars 1996
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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
DKK 358,40

Bestillingsvarer

Forventes levert 9. - 17. des
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 6. mars 1996
ISBN13 9783540609391
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 274
Mål 156 × 234 × 15 mm   ·   399 g
Språk Tysk  
Redaktør Proietti, Maurizio
Vis alle

Mer med Maurizio Proietti

Se alt med Maurizio Proietti ( f.eks. Bok og Pocketbok )