Current Trends In Hardware Verification And Automated Theorem Proving

מידע ביבליוגרפי
מחבר ראשי: G. Birtwistle, P A Subrahmanian
פורמט: Printed Book
שפה:English
יצא לאור: Springer-Verlag 1989

DCS

פרטי מלאי ספרים מ DCS
סימן המיקום: 004.3
עותק סטטוס עדכני לא זמין

פריטים דומים