Formal methods in computer-aided design: 4 th Interntional conference, FMCAD 2002 Portland, OR, USA,November 2002 proceedings /
- 1st ed.
- Berlin: Springer, 2002.
- 398p..
- 2002.
Compter-Aided design
620.004 202 85 / FOR
Compter-Aided design
620.004 202 85 / FOR