
인기 검색어
실시간 검색어
검색가능 서점
도서목록 제공





|
|
Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages (HardcoverPeet James (지은이) | Kluwer Academic Pub
345,970원 | 2003-10-31 | 9781402076190
|
|
|
Forecast Verification (Hardcover)I. T. Jolliffe, David B. Stephenson (엮은이) | John Wiley & Sons Inc
319,720원 | 2003-05-23 | 9780471497592
|
|
|
Professional Verification: A Guide to Advanced Functional Verification (Hardcover, 2004)Paul Wilcox (지은이) | Kluwer Academic Pub
283,470원 | 2004-05-13 | 9781402078750
|
|
|
Computer Aided Verification (Paperback)Constantin Enea (지은이) | Springer Nature B.V.
72,980원 | 2023-07-18 | 9783031377044
|
|
|
Computer Aided Verification (Paperback)Constantin Enea (지은이) | Springer Nature B.V.
72,980원 | 2023-07-17 | 9783031377105
|
|
|
Computer Aided Verification (Paperback)Constantin Enea (지은이) | Springer Nature B.V.
72,980원 | 2023-07-17 | 9783031377075
|
|
|
Computer Aided Verification (Paperback)Serdar Tasiran (지은이) | Creative Media Partners, LLC
120,960원 | 2020-10-08 | 9781013271144
|
|
|
Computer Aided Verification (Paperback)Hana Chockler (지은이) | Creative Media Partners, LLC
116,090원 | 2020-10-08 | 9781013271007
|
|
|
Computer Aided Verification (Paperback)Serdar Tasiran (지은이) | Creative Media Partners, LLC
128,530원 | 2020-10-08 | 9781013271168
|
|
|
Computer Aided Verification (Paperback)Georg Weissenbacher (지은이) | Creative Media Partners, LLC
130,390원 | 2020-10-08 | 9781013270987
|
|
|
Advanced Verification Topics (Paperback)Bishnupriya Bhattacharya (지은이) | lulu.com
108,000원 | 2012-01-03 | 9781105113758
|
|
|
Power Grid Verification (Paperback)Kouroussis, Denis (지은이) | LAP Lambert Academic Publishing
115,470원 | 2010-09-01 | 9783838381879
|
|
|
Standardized Functional Verification (Hardcover)Alan Wiemann (지은이) | Springer Verlag
182,480원 | 2007-09-14 | 9780387717326
|
|
|
SystemVerilog for Verification (Hardcover)Chris Spear (엮은이) | Springer-Verlag New York Inc
239,620원 | 2006-08-30 | 9780387270364
|
|
|
Constraint-Based Verification (Hardcover)Jun Yuan, Carl Pixley, 아드난 아지즈 (지은이) | Springer Verlag
216,220원 | 2006-01-13 | 9780387259475
|
|
|
Hardware Design Verification (Hardcover)William K. Lam (지은이) | Prentice Hall
97,000원 | 2005-03-04 | 9780131433472
|
|
|
Advanced Formal Verification (Hardcover)Rolf Drechsler (엮은이) | Kluwer Academic Pub
207,470원 | 2004-01-31 | 9781402077210
|
|
|
Challenges of Software Verification (Paperback)Vincenzo Arceri (지은이) | Springer Nature B.V.
73,480원 | 2023-07-25 | 9789811996023
|
|
|
Hardware Accelerated Functional Verification (Paperback)Simkova, Marcela (지은이) | LAP Lambert Academic Publishing
115,500원 | 2011-12-02 | 9783846559130
|
|
|
LOTOS Petri Net Verification (Hardcover)Michael Yoeli (지은이) | Wiley-Interscience
273,650원 | 2008-03-01 | 9780471704492
|