Fortell venner om denne varen:
Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science
J C Bradfield
Pris
Íkr 6.899
Bestillingsvarer
Forventes levert 7. - 15. jul
Legg til iMusic ønskeliste
Eller
Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science
J C Bradfield
116 pages, black & white illustrations, bibliography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 25. februar 2012 |
| ISBN13 | 9781468468212 |
| Utgivere | Birkhauser |
| Antall sider | 116 |
| Mål | 156 × 234 × 7 mm · 185 g |
| Språk | Engelsk |
Se alt med J C Bradfield ( f.eks. Pocketbok )