טוען...
Formal Development Of Programs And Proofs
מחבר ראשי: | |
---|---|
פורמט: | Printed Book |
יצא לאור: |
Addison-wesley Publishing Company
1990
|
MG University
סימן המיקום: |
005.1 |
---|---|
עותק | סטטוס עדכני לא זמין |