Assertion-Based Design
Foster, Harry.
Assertion-Based Design [electronic resource] / by Harry Foster, Adam Krolnik, David Lacey. - Second Edition. - Boston, MA : Springer-Verlag US, 2005. - v.: digital
9781402080289
Engineering
Computer aided design
Computer engineering
Systems engineering
Engineering
Circuits and Systems
Electrical Engineering
Computer-Aided Engineering (CAD, CAE) and Design
TK7874.75 / F67 2005
Assertion-Based Design [electronic resource] / by Harry Foster, Adam Krolnik, David Lacey. - Second Edition. - Boston, MA : Springer-Verlag US, 2005. - v.: digital
9781402080289
Engineering
Computer aided design
Computer engineering
Systems engineering
Engineering
Circuits and Systems
Electrical Engineering
Computer-Aided Engineering (CAD, CAE) and Design
TK7874.75 / F67 2005