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.
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
- Bindende:
- Hardback
- Sider:
- 248
- Utgitt:
- 15. april 2008
- Dimensjoner:
- 163x243x22 mm.
- Vekt:
- 544 g.
-
BLACK NOVEMBER
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 11. desember 2024
Om Michael (Department of Computer Science Yoeli
Se alle bøkene av Michael (Department of Computer Science YoeliBeskrivelse av Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
This book provides a step-by-step interactive introduction to formal verification of systems and circuits. In view of the complexity of current parallel digital systems, a formal approach to their analysis and verification becomes essential. This text makes use of two powerful analysis tool sets: LOTOS-based CADP & Petri-Net based PETRIFY.
Brukervurderinger av Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Tales.no
