تحميل...

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