Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Specification and Proof in Real Time CSP

Specification and Proof in Real Time CSP - Jim (University of Oxford) Davies - Bog

af Jim (University of Oxford) Davies

indgår i Distinguished Dissertations in Computer Science serien

Specification and Proof in Real Time CSP af Jim (University of Oxford) Davies
Bag 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781107403864
  • Indbinding:
  • Paperback
  • Sideantal:
  • 200
  • Udgivet:
  • 12. Januar 2012
  • Størrelse:
  • 170x244x11 mm.
  • Vægt:
  • 330 g.
  • 2-4 uger.
  • 28. Maj 2024
På lager

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Jim (University of Oxford) Davies

Vis alle bøger af Jim (University of Oxford) Davies

Beskrivelse af 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.

Brugerbedømmelser af Specification and Proof in Real Time CSP



Andre købte også..
Find lignende bøger
Bogen Specification and Proof in Real Time CSP findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.