Nantilus
Z : an introduction to formal methods
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Z : an introduction to formal methods / Antoni Diller |
| Publié : |
Chichester [England], New York :
J. Wiley
, cop. 1990 |
| Description matérielle : | 1 vol. (XXI-309 p.) |
| Sujets : |
| Bibliographie : | Notes bibliogr. (p. 289-299) and index. |
|---|---|
| ISBN : | 0-471-92489-X |