Køb for 499 kr mere for gratis levering til pakkeshop
499 kr
Pakkeshop
599 kr
Hjemmelevering
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 16,9 x 1,3
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
Januarudsalg
557 kr
spar 8%
Læg i kurv nu
Fri fragt over 499,-
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 16,9 x 1,3
Oplagsdato:
12 jan 2012
Forfatter(e):
Finder produkter...
Kategori sammenhænge