Algebraic specifications from programs /
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| مؤلف مشترك: | |
| مؤلفون آخرون: | |
| التنسيق: | كتاب |
| اللغة: | English |
| منشور في: |
[Sydney] :
Basser Dept. of Computer Science, University of Sydney,
1986.
|
| سلاسل: | Technical report (University of Sydney. Basser Dept. of Computer Science) ;
294. |
| الموضوعات: |
CARM 1 Store
| رقم الطلب: |
A2:AI38B0 B04384 |
|---|---|
| النسخة 1 | متاح أحجز النسخة |