Pastāsti draugiem par šo preci:
Logic of Computation - NATO ASI
Logic of Computation - NATO ASI
The latest work on formal methods in computer science by the world's leading experts is presented in this volume, based on the 1995 International Marktoberdorf Summer School.
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 1997. gada 1. jūlijs |
| ISBN13 | 9783540629634 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 401 |
| Izmēri | 150 × 220 × 20 mm · 757 g |
| Valoda | Angļu |
| Redaktors | Schwichtenberg, Helmut |