Formal methods of program verification

other_versions_link
מידע ביבליוגרפי
מחבר ראשי: Berg,H.K
פורמט: Printed Book
שפה:English
יצא לאור: New Jersey Prentice-Hall
תיאור
תיאור פיזי:ic,207
ISBN:0133288072

פריטים דומים