Name: Specification and Proof in Real Time CSP
Price: 1342.95 DKK
Availability: InStock
Author: Jim (University of Oxford) Davies
ISBN: 9780521450553

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

Du sparer 0% ift. normalprisen Spar 0%

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:
9780521450553

Forlag:
Cambridge University Press

Indbinding:
Hardback

Sideantal:
200

Udgivet:
20. maj 1993

Størrelse:
181x256x13 mm.

Vægt:
530 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 29. november 2024

På lager

Normalpris

BLACK NOVEMBER
1.342,95 kr. + Fragt
~~1.342,95 kr.~~

Medlemspris

1.292,95 kr.

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:

Business og læring > Computer og IT

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

Bag om Jim (University of Oxford) Davies

Beskrivelse af Specification and Proof in Real Time CSP

Brugerbedømmelser af Specification and Proof in Real Time CSP

Gør som tusindvis af andre bogelskere