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öcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540609391 - 6 mars 1996
Om omslag och titel inte matchar är det titeln som gäller

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
SEK 759

Beställningsvara

Förväntad leverans 14 - 24 maj

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista

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

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 6 mars 1996
ISBN13 9783540609391
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 274
Mått 156 × 234 × 15 mm   ·   399 g
Redaktör Proietti, Maurizio
Visa alla

Fler produkter med Maurizio Proietti

Se alt med Maurizio Proietti ( t.ex. Bok och Pocketbok )