Denna webbshop är stängd för köp.
Klicka här för mer information

Specification and Proof in Real Time CSP
  • Bandtyp: Inbunden
  • Språk: Engelska
  • Utgiven: 199312
  • Antal sidor: 200
  • Vikt i gram: 570
  • ISBN10:0521450551
  • ISBN13:9780521450553

Specification and Proof in Real Time CSP

(Inbunden)
Beskrivning:

This book was first published in 1993. Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behaviour or safety critical systems. This thesis uses the theory of Communicating Sequential Processes (CSP) to show how a real-lime system may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method 14 structuring CSP descriptions of layered protocols is given.

Kundrecensioner och bloggar

Sök fler böcker:

Kunder som köpt denna bok har
även köpt:
Skotten i Köpenhamn :  ett reportage om
Ibland mår jag inte så bra
Ibland mår jag inte så bra
av Lindgren, Therése
Uppgång och fall
Uppgång och fall
av Strömquist, Liv
Miniatyrmakaren
Miniatyrmakaren
av Burton, Jessie
Min mors självbiografi
Min mors självbiografi
av Kincaid, Jamaica