Wordt geladen...
The way of z practical programming with formal methods
| Hoofdauteur: | |
|---|---|
| Formaat: | Printed Book |
| Taal: | English |
| Gepubliceerd in: |
Cambridge University Press
1997
|
| Fysieke beschrijving: | 350 |
|---|---|
| ISBN: | 0-521-55976-6 |