| 000 | 00709pam a2200229a 44500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 008 | 160408b1994 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a0444819703 | ||
| 040 | _cIIT Kanpur | ||
| 041 | _aeng | ||
| 082 |
_a670.285 _bF765G |
||
| 100 | _aGero, John S. | ||
| 111 |
_aWorkshop on formal design methods for CAD _cEstonia _d16-19 June 1994 |
||
| 245 | 1 |
_aFormal design methods for CAD _bproceedings... _cJohn S. Gero and Enn Tyugu |
|
| 260 |
_bElsevier _c1994 _aAmsterdam |
||
| 300 | _aviii, 362p | ||
| 500 | _a(Ifip ... B : Applications in technology, Vol B-18) transactions B-18 | ||
| 650 | _aCad/Cam Systems | ||
| 650 | _aComputer-Aided Design | ||
| 700 | _aTyugu, Enn | ||
| 942 | _cBK | ||
| 999 |
_c349742 _d349742 |
||