Pastāsti draugiem par šo preci:
Specification and Proof in Real Time CSP - Distinguished Dissertations in Computer Science Davies, Jim (University of Oxford)
Cena
€ 74,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 15. - 29. sept.
Saņemiet paziņojumus par jauniem Davies, Jim (University of Oxford) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Pieejams arī kā:
Specification and Proof in Real Time CSP - Distinguished Dissertations in Computer Science
Davies, Jim (University of Oxford)
Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. It is important therefore that we are able to employ mathematical techniques to specify the behaviour of critical safety systems. The research contained in this book represents work on the specification and verification of real-time systems.
200 pages, black & white illustrations
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2012. gada 12. janvāris |
| ISBN13 | 9781107403864 |
| Izdevēji | Cambridge University Press |
| Lapas | 200 |
| Izmēri | 169 × 244 × 13 mm · 352 g |
| Valoda | Angļu |
