טוען...
The way of z practical programming with formal methods
| מחבר ראשי: | |
|---|---|
| פורמט: | Printed Book |
| שפה: | English |
| יצא לאור: |
Cambridge University Press
1997
|
DCS
| סימן המיקום: |
004.43 |
|---|---|
| עותק | סטטוס עדכני לא זמין |