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