Specification and Proof in Real Time CSP
Häftad, Engelska, 2012
1 099 kr
Beställningsvara. Skickas inom 5-8 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2012-01-12
- Mått170 x 244 x 11 mm
- Vikt330 g
- FormatHäftad
- SpråkEngelska
- SerieDistinguished Dissertations in Computer Science
- Antal sidor200
- FörlagCambridge University Press
- ISBN9781107403864