عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook12518
eng
Hardware and software, verification and testing
:HVC 2006. ;
Berlin ;New York :
: Springer,
, 2007.
Print
Computer systems ; Verification ; Congresses. ; Computer software ; Verification ; Congresses. ; Computer programs ; Verification ; Congresses. ; Integrated circuits ; Verification ; Congresses. ;
Bin, Eyal. ; Ziv, Avi. ; Ur, Shmuel. ;
old catalog
