Z : an introduction to formal methods

Z : an introduction to formal methods

Enregistré dans:
Détails bibliographiques
Auteur principal : Diller Antoni (Auteur)
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 :
Z (méthode formelle)
Chargement en cours