Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
Computer-Aided Verification of Coordinating Processes
- The Automata-Theoretic Approach
Engelsk Paperback
Computer-Aided Verification of Coordinating Processes
- The Automata-Theoretic Approach
Engelsk Paperback

531 kr
Tilføj til kurv
Sikker betaling
23 - 25 hverdage

Om denne bog
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
Product detaljer
Sprog:
Engelsk
Sider:
284
ISBN-13:
9780691606057
Indbinding:
Paperback
Udgave:
ISBN-10:
0691606056
Udg. Dato:
14 jul 2014
Længde:
19mm
Bredde:
232mm
Højde:
157mm
Forlag:
Princeton University Press
Oplagsdato:
14 jul 2014
Forfatter(e):
Products purchased together
Alternatives - PIE
Kategori sammenhænge