Utvidet returrett til 31. januar 2025

Computer-Aided Verification of Coordinating Processes

- The Automata-Theoretic Approach

Om Computer-Aided Verification of Coordinating Processes

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 mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780691606057
  • Bindende:
  • Paperback
  • Sider:
  • 284
  • Utgitt:
  • 14. juli 2014
  • Dimensjoner:
  • 232x157x19 mm.
  • Vekt:
  • 458 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 19. desember 2024

Beskrivelse av Computer-Aided Verification of Coordinating Processes

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

Brukervurderinger av Computer-Aided Verification of Coordinating Processes



Finn lignende bøker
Boken Computer-Aided Verification of Coordinating Processes finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.