| 000 | 03848 a2200457 4500 | ||
|---|---|---|---|
| 003 | Nust | ||
| 005 | 20170207154043.0 | ||
| 020 | _a978-0-387-24021-3 | ||
| 040 | _cNust | ||
| 082 | _a621.382 | ||
| 100 | 1 | _aBailey, Brian. | |
| 245 | 1 | 0 |
_aTaxonomies for the Development and Verification of Digital Systems(E-BOOK) _h[electronic resource] / _cedited by Brian Bailey, Grant Martin, Thomas Anderson. |
| 260 |
_aBoston, MA : _bSpringer Science+Business Media, Inc., _c2005. |
||
| 300 | _bv.: digital | ||
| 650 | 0 | _aCircuits and Systems | |
| 650 | 0 | _aComputer aided design | |
| 650 | 0 | _aComputer-Aided Engineering (CAD, CAE) and Design | |
| 650 | 0 | _aElectronic and Computer Engineering | |
| 650 | 0 | _aElectronics | |
| 650 | 0 | _aElectronics and Microelectronics, Instrumentation | |
| 650 | 0 | _aEngineering | |
| 650 | 0 | _aEngineering | |
| 650 | 0 | _aLogic design | |
| 650 | 0 | _aLogic Design | |
| 650 | 0 | _aSystems engineering | |
| 650 | 0 | _aTelecommunications engineering - (E-BOOK) | |
| 651 | _aTaxonomies for the Development and Verification of Digital Systems(E-BOOK) | ||
| 700 | 1 | _aAnderson, Thomas. | |
| 700 | 1 | _aMartin, Grant. | |
| 710 | 2 | _aSpringerLink (Online service) | |
| 856 | 4 | 2 | _uhttp://dx.doi.org/10.1007/b104217 |
| 856 | 4 | 2 | _uhttp://link.libris.kb.se/sfxcthb?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000227668&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc& |
| 856 | 4 | 2 | _uhttp://link.libris.kb.se/sfxhib?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000227668&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc& |
| 856 | 4 | 2 | _uhttp://link.libris.kb.se/sfxkth?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000227668&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc& |
| 856 | 4 | 2 | _uhttp://link.libris.kb.se/sfxlaub?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000227668&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc& |
| 856 | 4 | 2 | _uhttp://link.libris.kb.se/sfxmah?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000227668&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc& |
| 856 | 4 | 2 | _uhttp://link.libris.kb.se/sfxsub?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000227668&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc& |
| 856 | 4 | 2 | _uhttp://link.libris.kb.se/sfxumub?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000227668&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc& |
| 856 | 4 | 2 | _uhttp://link.libris.kb.se/sfxuub?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000227668&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc& |
| 856 | 4 | 2 | _uhttp://sfxeu05.hosted.exlibrisgroup.com/46LUB?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=1000000000227668&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc& |
| 942 |
_2ddc _cBK |
||
| 999 |
_c192719 _d192719 |
||