تحميل...
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 |
---|---|
النسخة | الحالة المباشرة غير متاحة |