The way of Z: practical programming with formal methods

other_versions_link
מידע ביבליוגרפי
מחבר ראשי: Jacky, Jonathan
פורמט: Printed Book
שפה:English
יצא לאור: Cambridge Cambridge University press 1997
נושאים:
Z (Computer program language)

DCA

פרטי מלאי ספרים מ DCA
סימן המיקום: 004.43 JAC
עותק סטטוס עדכני לא זמין

פריטים דומים