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 - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540609391 - keskiviikko 6. maaliskuuta 1996
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
CNY 520,47

Tilattu etävarastosta

Arvioitu toimitus to 23. touko - ti 4. kesä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 6. maaliskuuta 1996
ISBN13 9783540609391
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 274
Mitta 156 × 234 × 15 mm   ·   399 g
Toimittaja Proietti, Maurizio
Näytä kaikki

Lisää tuotteita Maurizio Proietti

Katso kaikki joka sisältää Maurizio Proietti ( Esim. Book Ja Paperback Book )