טוען...

Programming with specifications: an introduction to ANNA, a language for specifying Ada programs

מידע ביבליוגרפי
מחבר ראשי: Luckham, David
פורמט: Printed Book
יצא לאור: New York, Springer Verlag 1990
סדרה:Texts and monographs in computer science
נושאים:

MG University

פרטי מלאי ספרים מ MG University
סימן המיקום: 005.133 ADA N0
עותק סטטוס עדכני לא זמין