000 00472nam a22001697a 4500
003 CEME
005 20210628203310.0
008 210119b xxu||||| |||| 00| 0 eng d
020 _a0387240195
040 _c.
082 _a621.3815 TAX
100 _aBAILEY, BRIAN , MARTIN, GRANT , ANDERSON, THOMAS
_964557
245 _aTaxonomies for the development and verificaiton of digital systems
260 _aUSA
_bSPRINGER
_c2005
300 _aXVII, 179P
942 _cBK
_2ddc
999 _c573010
_d573010