Specification and Proof in Real Time CSP
Inbunden, Engelska, 2015
Av Jim Davies
2 309 kr
Beställningsvara. Skickas inom 5-8 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Produktinformation
- Utgivningsdatum2015-04-02
- Mått183 x 260 x 15 mm
- Vikt581 g
- FormatInbunden
- SpråkEngelska
- Antal sidor200
- FörlagCambridge University Press
- ISBN9780521450553