Laddar...
The way of z practical programming with formal methods
| Huvudupphovsman: | |
|---|---|
| Materialtyp: | Printed Book |
| Språk: | English |
| Publicerad: |
Cambridge University Press
1997
|
| Fysisk beskrivning: | 350 |
|---|---|
| ISBN: | 0-521-55976-6 |