טוען...

Formal specification and verification of digital sytems

מידע ביבליוגרפי
מחבר ראשי: George Milne
פורמט: Printed Book
שפה:English
יצא לאור: McGraw-Hill 1994