Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach - Princeton Series in Computer Science

Robert P. Kurshan

Pris

DKK 1.139

Bestilles fra fjernlager

Forventes klar til forsendelse 17. - 23. okt.

Vores kunder siger:

14 dages fuld returret

Topvurdering på Trustpilot

Tilføj til din iMusic ønskeseddel

eller

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach - Princeton Series in Computer Science

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

284 pages, black & white illustrations

Medie	Bøger Hardcover bog (Bog med hård ryg og stift omslag)
Udgivet	19. april 2016
ISBN13	9780691634890
Forlag	Princeton University Press
Antal sider	284
Mål	152 × 229 × 18 mm · 567 g
Sprog	Engelsk

Vis alle

Mere med Robert P. Kurshan

Se alt med Robert P. Kurshan ( f.eks. Paperback Bog og Hardcover bog )