Z : an introduction to formal methods

Z : an introduction to formal methods

Saved in:
Bibliographic Details
Main Author : Diller Antoni (Auteur)
Format : Book
Language : anglais
Title statement : Z : an introduction to formal methods / Antoni Diller
Published : Chichester [England], New York : J. Wiley , cop. 1990
Physical Description : 1 vol. (XXI-309 p.)
Subjects :
Z (méthode formelle)
Loading