Laddar...
Formal methods of program verification
| Huvudupphovsman: | |
|---|---|
| Materialtyp: | Printed Book |
| Språk: | English |
| Publicerad: |
New Jersey
Prentice-Hall
|
DCS
| Signum: |
004.415.5 BER |
|---|---|
| Exemplar | Status otillgänglig |