Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Specification and Proof in Real Time CSP

Specification and Proof in Real Time CSP

av Jim (University of Oxford) Davies

del av Distinguished Dissertations in Computer Science-serien

Specification and Proof in Real Time CSP av Jim (University of Oxford) Davies
Om Specification and Proof in Real Time CSP

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9781107403864
  • Format:
  • Häftad
  • Sidor:
  • 200
  • Utgiven:
  • 12. januari 2012
  • Mått:
  • 170x244x11 mm.
  • Vikt:
  • 330 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 9. december 2024

Om Jim (University of Oxford) Davies

Se alla böcker av Jim (University of Oxford) Davies

Beskrivning av Specification and Proof in Real Time CSP

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.

Användarnas betyg av Specification and Proof in Real Time CSP



Andra köpte även...
Hitta liknande böcker
Boken Specification and Proof in Real Time CSP finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.