Pastāsti draugiem par šo preci:
Programmverifikation: Sequentielle, Parallele Und Verteilte Programme - Springer-Lehrbuch Krzysztof R Apt 1994 edition
Programmverifikation: Sequentielle, Parallele Und Verteilte Programme - Springer-Lehrbuch
Krzysztof R Apt
272 pages
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 1994. gada 21. marts |
| ISBN13 | 9783540574798 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 258 |
| Izmēri | 155 × 235 × 57 mm · 385 g |
| Valoda | Vācu |