Gør som tusindvis af andre bogelskere
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.Du kan altid afmelde dig igen.
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
- Indbinding:
- Hardback
- Sideantal:
- 248
- Udgivet:
- 15. April 2008
- Størrelse:
- 163x243x22 mm.
- Vægt:
- 544 g.
Gratis fragt
Leveringstid:
2-3 uger
Forventet levering: 23. Oktober 2024
Bag om Michael (Department of Computer Science Yoeli
Vis alle bøger af Michael (Department of Computer Science YoeliBeskrivelse af 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.
Brugerbedømmelser af Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS findes i følgende kategorier:
Du kan altid afmelde dig igen.
© 2024 Bogreolen.dk Esromgade 15, 3. | 2200 København N | Danmark | CVR: DK43351621
