Foster, Harry.
Assertion-Based Design [electronic resource] / by Harry Foster, Adam Krolnik, David Lacey. - Second Edition. - Boston, MA : Springer US, 2005. - digital.
9781402080289
10.1007/b117047 doi
Engineering.
Computer aided design.
Computer engineering.
Systems engineering.
Engineering.
Circuits and Systems.
Electrical Engineering.
Computer-Aided Engineering (CAD, CAE) and Design.
TK7888.4
621.3815
Assertion-Based Design [electronic resource] / by Harry Foster, Adam Krolnik, David Lacey. - Second Edition. - Boston, MA : Springer US, 2005. - digital.
9781402080289
10.1007/b117047 doi
Engineering.
Computer aided design.
Computer engineering.
Systems engineering.
Engineering.
Circuits and Systems.
Electrical Engineering.
Computer-Aided Engineering (CAD, CAE) and Design.
TK7888.4
621.3815