Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS

מידע ביבליוגרפי
מחבר ראשי: Yoeli, Michael
פורמט: Printed Book
שפה:English
יצא לאור: New Jersey John Wiley & Sons 2008
נושאים:
Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

UL

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

פריטים דומים