Lataa...
Formal methods of program verification
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Printed Book |
| Kieli: | English |
| Julkaistu: |
New Jersey
Prentice-Hall
|
DCS
| Hyllypaikka: |
004.415.5 BER |
|---|---|
| Nide | Reaaliaikaista tietoa ei saatavissa |