Køb for 499 kr mere for gratis levering til pakkeshop
499 kr
Pakkeshop
599 kr
Hjemmelevering
Gemte
Log ind
0
Kurv
Kurv
Computer-Aided Verification of Coordinating Processes
- The Automata-Theoretic Approach
Engelsk
Bogcover for Computer-Aided Verification of Coordinating Processes af Robert P. Kurshan, 9780691606057
Specifikationer
Sprog:
Engelsk
Sider:
284
ISBN-13:
9780691606057
Indbinding:
Paperback
ISBN-10:
0691606056
Udg. Dato:
14 jul 2014
Størrelse i cm:
15,7 x 23,2 x 1,9
Oplagsdato:
14 jul 2014
Forfatter(e):

Computer-Aided Verification of Coordinating Processes

- The Automata-Theoretic Approach
Engelsk
Paperback 2014
Format:

Bog beskrivelse
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodo
... Vis mere

Forlags Vejl. pris
640,85 kr
Hos Booktok
566 kr
spar 12%
Læg i kurv nu
Fri fragt over 499,-
90 dages retur
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
284
ISBN-13:
9780691606057
Indbinding:
Paperback
ISBN-10:
0691606056
Udg. Dato:
14 jul 2014
Størrelse i cm:
15,7 x 23,2 x 1,9
Oplagsdato:
14 jul 2014
Forfatter(e):
Finder produkter...
Kategori sammenhænge