
Fortell venner om denne varen:
Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science
J C Bradfield
Pris
元 396
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 )