Specification and Proof in Real Time CSP (Bog, Paperback / softback, Engelsk) af Jim (University of Oxford) Davies
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Parallel databehandling
  5. Matematisk datateori
  6. Programmering / softwareudvikling
  7. Specification and Proof in Real Time CSP

Specification and Proof in Real Time CSP

(Bog, Paperback / softback, Engelsk)
Forfatter: Jim (University of Oxford) Davies
Specification and Proof in Real Time CSP
Forlag: Cambridge University Press

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk datateori Parallel databehandling Programmering / softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfatter Jim (University of Oxford) Davies
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 12-01-2012
Første udgivelsesår 2012
Serie Distinguished Dissertations in Computer Science
Illustrationer Worked examples or Exercises
Originalsprog United Kingdom
Sideantal 200
Indbinding Paperback / softback
Forlag Cambridge University Press
Sideoplysninger 200 pages, Worked examples or Exercises
Mål 244 x 170 x 11
ISBN-13 / EAN-13 9781107403864