bokomslag Specification and Proof in Real Time CSP
Data & IT

Specification and Proof in Real Time CSP

Jim Davies Jim Davies

Pocket

999:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 200 sidor
  • 2012
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.
  • Författare: Jim Davies, Jim Davies
  • Format: Pocket/Paperback
  • ISBN: 9781107403864
  • Språk: Engelska
  • Antal sidor: 200
  • Utgivningsdatum: 2012-01-12
  • Förlag: Cambridge University Press