Pastāsti draugiem par šo preci:
Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science J C Bradfield
Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science
J C Bradfield
116 pages, black & white illustrations, bibliography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2012. gada 25. februāris |
| ISBN13 | 9781468468212 |
| Izdevēji | Birkhauser |
| Lapas | 116 |
| Izmēri | 156 × 234 × 7 mm · 185 g |
| Valoda | Angļu |