000			00958nam a2200205Ia 4500
008			140223b1994 xxu||||| |||| 00| 0 eng d
020			_a9780131507319 _c0.00
082			_a004.16 _bGAJ
100			_aGajski, Daniel D.
245			_aSpecification and Design of Embedded Systems
260			_aNew Jersey _bPrentice-Hall, Inc. _c1994
300			_a450p
500			_aIntroduction Models and Architectures Specification Languages A Specification Example Translation to VHDL System Partitioning Design Quality Estimation Specification Refinement System Design Methodology
600			_aComputer Engineering
700			_aNarayan, Sanjiv
700			_aGong, Jie
700			_aVahid, Frank
890			_aUSA
995			_AGAJ _B002450 _CICT-NIT _D2843.10 _E0 _F049 _G85521 _H0 _I0.00 _J3790.80 25% _L20040622 _M02 _UC _W20040826 _XHimanshu Book Co. _ZReference
999			_c48763 _d48763