טוען...
Programming with specifications: an introduction to ANNA, a language for specifying Ada programs
מחבר ראשי: | |
---|---|
פורמט: | Printed Book |
יצא לאור: |
New York, Springer Verlag
1990
|
סדרה: | Texts and monographs in computer science
|
נושאים: |
MG University
סימן המיקום: |
005.133 ADA N0 |
---|---|
עותק | סטטוס עדכני לא זמין |