Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Computer-Aided Verification of Coordinating Processes
- The Automata-Theoretic Approach
- Bindende:
- Paperback
- Sider:
- 284
- Utgitt:
- 14 juli 2014
- Dimensjoner:
- 232x157x19 mm.
- Vekt:
- 458 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 30 juli 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
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Computer-Aided Verification of Coordinating Processes finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Tales.no
