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