Povej prijatelju o tem izdelku:
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
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 25. februarja 2012 |
| ISBN13 | 9781468468212 |
| Založniki | Birkhauser |
| Strani | 116 |
| Dimenzije | 156 × 234 × 7 mm · 185 g |
| Jezik | Angleščina |