Formal verification : an essential toolkit for modern VLSI design
Başlık:
Formal verification : an essential toolkit for modern VLSI design
Yazar:
Seligman, Erik, author.
Fiziksel Tanımlama:
1 online resource (372 pages) : color illustrations
Notlar:
Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
