Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Specification and Proof in Real Time CSP
Engelsk
Bogcover for Specification and Proof in Real Time CSP af Jim Davies, 9781107403864
Specifikationer
Sprog:
Engelsk
Sider:
200
ISBN-13:
9781107403864
Indbinding:
Paperback
ISBN-10:
1107403863
Udg. Dato:
12 jan 2012
Størrelse i cm:
24,4 x 17,0 x 1,1
Oplagsdato:
12 jan 2012
Forfatter(e):

Specification and Proof in Real Time CSP

Engelsk
Paperback 2012
Format:

Bog 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.
... Vis mere

Forlags Vejl. pris
605,80 kr
Hos Booktok
527 kr
spar 13%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
200
ISBN-13:
9781107403864
Indbinding:
Paperback
ISBN-10:
1107403863
Udg. Dato:
12 jan 2012
Størrelse i cm:
24,4 x 17,0 x 1,1
Oplagsdato:
12 jan 2012
Forfatter(e):
Finder produkter...
Kategori sammenhænge