Pastāsti draugiem par šo preci:
First-Order Programming Theories - Monographs in Theoretical Computer Science. An EATCS Series Tamas Gergely 1991 edition
First-Order Programming Theories - Monographs in Theoretical Computer Science. An EATCS Series
Tamas Gergely
This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory.
362 pages, biography
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 1991. gada 5. decembris |
| ISBN13 | 9783540542773 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 353 |
| Izmēri | 170 × 244 × 20 mm · 689 g |
| Valoda | Angļu |