Lataa...
Formal Development Of Programs And Proofs
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Printed Book |
| Julkaistu: |
Addison-wesley Publishing Company
1990
|
MG University
| Hyllypaikka: |
005.1 |
|---|---|
| Nide | Reaaliaikaista tietoa ei saatavissa |