Current trends in hardware verification and automated theorem proving /

שמור ב:

מידע ביבליוגרפי
מחברים אחרים:	Birtwistle, G. M. (Graham M.), Subrahmanyam, P. A.
פורמט:	ספר
שפה:	English
יצא לאור:	New York : Springer-Verlag, c1989.
נושאים:	Integrated circuits > Very large scale integration > Design and construction. Automatic theorem proving.

פרטי מלאי ספרים מ CARM 1 Store
סימן המיקום:	A2:AJ21E0 C04632
עותק 1	זמין ביצוע הזמנה

פריטים דומים