Michael Yoeli – författare
Visar alla böcker från författaren Michael Yoeli. Handla med fri frakt och snabb leverans.
2 produkter
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
E-bok, 2008
1913 kr
Lägg i varukorg
A Step-by-Step Guide to Verification of Digital Systems This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application of three powerful verification toolsets: LOTOS-based …
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Inbunden, 2008
1977 kr
Lägg i varukorg
A Step-by-Step Guide to Verification of Digital SystemsThis practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application of three powerful verification toolsets: LOTOS-based …
