Formal development of programs and proofs
| מחברים אחרים: | |
|---|---|
| פורמט: | ספר |
| שפה: | אנגלית |
| יצא לאור: |
Reading, Mass.
Addison-Wesley
c1990.
|
| נושאים: |
| מחברים אחרים: | |
|---|---|
| פורמט: | ספר |
| שפה: | אנגלית |
| יצא לאור: |
Reading, Mass.
Addison-Wesley
c1990.
|
| נושאים: |