Povedzte o tejto položke priateľom:
Deductive and Declarative Programming - Cambridge Tracts in Theoretical Computer Science Peter Padawitz
Deductive and Declarative Programming - Cambridge Tracts in Theoretical Computer Science
Peter Padawitz
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
| Médium | Knihy Paperback Book (Kniha s mäkkou väzbou a lepeným chrbtom) |
| Vydané | 23. novembra 2006 |
| ISBN13 | 9780521032513 |
| Vydavatelia | Cambridge University Press |
| Strany | 288 |
| Rozmery | 152 × 228 × 17 mm · 469 g |
| Jazyk | Angličtina |
Viac od Peter Padawitz
Zobraziť všetkoMere med samme udgiver
Pozrieť všetko od Peter Padawitz ( napr. Paperback Book )