An edition of Advanced formal verification (2004)
By Rolf Drechsler
Publish Date
2004
Publisher
Kluwer Academic Publishers,Springer
Language
eng
Pages
263
Description:
subjects: Circuits electro nics, Proves, Arbres de decisio ., Electronic circuits, Decision trees, Testing, Circuits electrònics, Arbres de decisió, Integrated circuits