The B language and method : a guide to practical formal development /
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | كتاب |
| اللغة: | English |
| منشور في: |
London ; New York :
Springer,
c1996.
|
| سلاسل: | Formal approaches to computing and information technology
|
| الموضوعات: |
CARM 1 Store
| رقم الطلب: |
A2:AP36A0 B06724 |
|---|---|
| النسخة 1 | متاح أحجز النسخة |