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:
  • 9780521450553
  • Format:
  • Inbunden
  • Sidor:
  • 200
  • Utgiven:
  • 20. maj 1993
  • Mått:
  • 181x256x13 mm.
  • Vikt:
  • 530 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 27. januari 2025
Förlängd ångerrätt till 31. januari 2025
  •  

    Kan ej levereras före jul.
    Köp nu och skriv ut ett presentkort

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.