Laddar...
The way of z practical programming with formal methods
Huvudupphovsman: | |
---|---|
Materialtyp: | Printed Book |
Språk: | English |
Publicerad: |
Cambridge University Press
1997
|
DCS
Signum: |
004.43 |
---|---|
Exemplar | Status otillgänglig |