Deductive and Declarative Programming - Cambridge Tracts in Theoretical Computer Science - Peter Padawitz - Kirjat - Cambridge University Press - 9780521032513 - torstai 23. marraskuuta 2006
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Deductive and Declarative Programming - Cambridge Tracts in Theoretical Computer Science

Hinta
€ 68,99

Tilattu etävarastosta

Arvioitu toimitus ti 28. heinä - ti 11. elo
Saat ilmoituksen artistin Peter Padawitz uusista julkaisuista
Lisää iMusic-toivelistallesi
tai

Ei vielä arvioitu

The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.


288 pages, black & white illustrations

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 23. marraskuuta 2006
ISBN13 9780521032513
Tuottaja Cambridge University Press
Sivujen määrä 288
Mitta 169 × 245 × 17 mm   ·   508 g
Kieli Englanti  

Lisää tuotteita Peter Padawitz

Näytä kaikki

Lisää samalta julkaisijalta