000 01294cam-a22003854a-4500
001 000463909
003 OCoLC
005 20240105144435.0
008 050615s2003 gw a rb 001 0 eng d
010 _a2003050371
020 _a3540007024 (alk. paper)
035 _a307758
040 _aDLC
_bspa
_cDLC
_dUIASF
050 4 _aQA 76.9.S88
_bB66.2003
082 0 0 _a004.2/1
_221
100 _aBörger, E
_q(Egon)
_d1946-
245 1 0 _aAbstract state machines :
_ba method for high-level system design and analysis /
_cEgon Börger, Robert Stärk.
260 _aBerlin ;
_aNew York :
_bSpringer,
_c2003.
300 _ax, 438 p. :
_bil. ;
_c24 cm. +
_e1 disco óptico láser de computadora (4 3/4 in.)
504 _aIncluye referencias bibliográfcias (p. [379]-428) e índice.
544 0 _aSolicitar el disco en el mostrador de Colecciones Especiales.
_3Disco óptico.
650 4 _aDiseño de sistemas
650 4 _aSoftware de computadora
_xDesarrollo.
650 4 _aSistemas de computación integrados.
700 1 _aStärk, Robert F.,
_d1963-
942 1 _cNEWBFXC1
950 0 _xDevelopment.
049 _aUIAA
905 _a01
999 _c435646
_d435646
980 _851
_gRonald RUIZ