Store besparelser
Hurtig levering
Fri fragt over 499,-
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

Hos Booktok
562 kr
Læg i kurv nu
Sikker betaling
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