تحميل...
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
|
| الموضوعات: |