Caricamento...
The way of z practical programming with formal methods
| Autore principale: | |
|---|---|
| Natura: | Printed Book |
| Lingua: | English |
| Pubblicazione: |
Cambridge University Press
1997
|
| Descrizione fisica: | 350 |
|---|---|
| ISBN: | 0-521-55976-6 |