000 | 01338pam a2200361 i 4500 | ||
---|---|---|---|
001 | 013270348 | ||
003 | EG-GaU | ||
005 | 20211212150737.0 | ||
008 | 050526r20082005ii a b 001 0 eng | ||
010 | _a2005049799 | ||
015 |
_aGBA567737 _2bnb |
||
020 | _a0387261435 (hbk.) | ||
020 | _a9788181288563 | ||
020 | _a9788181288653 | ||
040 |
_aStDuBDS _dUk _dEG-GaU _beng _cGALALA university _erda |
||
082 | 0 | 4 |
_a004.22 _223 _bM.P.F |
100 | 1 |
_aMishra, Prabhat, _d1973 - _eauthor. _91203 |
|
245 | 1 | 0 |
_aFunctional Verification of Programmable Embedded Architectures : _bA Top-Down Approach / _cPrabhat Mishra, Nikil D. Dutt. |
264 | 1 |
_aNew Delhi : _bSpringer, _c2008. |
|
264 | 1 | _c©2008 | |
300 |
_axviii, 180 pages : _billustrations ; _c24 cm |
||
336 |
_atext _2rdacontent _btxt |
||
337 |
_aunmediated _2rdamedia _bn |
||
338 |
_avolume _2rdacarrier _bnc |
||
504 | _aIncludes bibliographical references and index. | ||
650 | 7 |
_aEmbedded computer systems _xTesting. _2GU-sh _91204 |
|
650 | 0 |
_aComputer architecture _91205 |
|
650 | 7 |
_aIntegrated circuits _xVerification. _2GU-sh _91206 |
|
700 | 1 |
_aDutt, Nikil, _eauthor. _91207 |
|
856 | 4 | 1 |
_uhttps://library.gu.edu.eg/cgi-bin/koha/opac-retrieve-file.pl?id=4cf4a5e7e6814200eee52875b51be511 _zGet the E-Book |
942 |
_2ddc _cBK |
||
999 |
_c410 _d410 |