The way of z practical programming with formal methods

מידע ביבליוגרפי
מחבר ראשי: Jonathan Jacky
פורמט: Printed Book
שפה:English
יצא לאור: Cambridge University Press 1997
תיאור
תיאור פיזי:350
ISBN:0-521-55976-6

פריטים דומים