טוען...
Program Construction and Verification
| מחבר ראשי: | |
|---|---|
| פורמט: | Printed Book |
| שפה: | English |
| יצא לאור: |
Prentice-Hall
1986
|
DCS
| סימן המיקום: |
004.43 |
|---|---|
| עותק | סטטוס עדכני לא זמין |