טוען...

Formal methods of program verification

מידע ביבליוגרפי
מחבר ראשי: Berg,H.K
פורמט: Printed Book
שפה:English
יצא לאור: New Jersey Prentice-Hall
Search Result 1
מאת Berg,H.K
Printed Book