Chargement en cours...
The way of z practical programming with formal methods
Auteur principal: | |
---|---|
Format: | Printed Book |
Langue: | English |
Publié: |
Cambridge University Press
1997
|
DCS
Cote: |
004.43 |
---|---|
Exemplaire | Statut en temps réel indisponible |