Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers - Theoretical Computer Science and General Issues - Sandro Etalle - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540266556 - perjantai 24. kesäkuuta 2005
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers - Theoretical Computer Science and General Issues 2005 edition

Sandro Etalle

Hinta
SFr. 48,99

Tilattu etävarastosta

Arvioitu toimitus pe - ma 14. - 24. marras
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers - Theoretical Computer Science and General Issues 2005 edition

A collection of papers organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and synthesis.

284 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä perjantai 24. kesäkuuta 2005
ISBN13 9783540266556
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 284
Mitta 155 × 235 × 15 mm   ·   412 g
Kieli German  
Toimittaja Etalle, Sandro
Näytä kaikki

Lisää tuotteita Sandro Etalle

Katso kaikki joka sisältää Sandro Etalle ( Esim. Paperback Book )