Logic-based Program Synthesis and Transformation: 8th International Workshop, Lopstr'98, Manchester, Uk, June 15-19, 1998, Selected Papers - Lecture Notes in Computer Science - P Flener - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540657651 - keskiviikko 24. maaliskuuta 1999
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Logic-based Program Synthesis and Transformation: 8th International Workshop, Lopstr'98, Manchester, Uk, June 15-19, 1998, Selected Papers - Lecture Notes in Computer Science

P Flener

Hinta
zł 273,90

Tilattu etävarastosta

Arvioitu toimitus pe - ti 2. - 13. touko
Lisää iMusic-toivelistallesi
Eller

Logic-based Program Synthesis and Transformation: 8th International Workshop, Lopstr'98, Manchester, Uk, June 15-19, 1998, Selected Papers - Lecture Notes in Computer Science

This text presents the refereed post-workshop proceedings of the 8th International Workshop on Logic Based Program Synthesis and Transformation. Among the topics covered are logic specification, mathematical program construction, logic programming and constraint logic programs.


338 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 24. maaliskuuta 1999
ISBN13 9783540657651
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 338
Mitta 156 × 234 × 18 mm   ·   485 g
Toimittaja Flener, Pierre