Vinkkaa tuotetta kavereillesi:
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
€ 66,99
Tilattu etävarastosta
Arvioitu toimitus ma 27. touko - to 6. kesä
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
Maurizio Proietti
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 )