by
Holzmann, Gerard J.
Author
Holzmann, Gerard J.
Format:
Call Number
TA168 H645 2004
Publisher
Addison-Wesley Professional,
Publication Date
2004
ISBN
9780321228628
Holds:
Copies:
by
Holzmann, Gerard J.
Author
Holzmann, Gerard J., Pehrson, Bjorn
Format:
Call Number
TK5115.H65 1995
Publisher
IEEE Computer Society Press,
Publication Date
1995
ISBN
9780818667824
Holds:
Copies:
by
Holzmann, Gerard J.
Author
Holzmann, Gerard J.
Format:
Call Number
TK5105.5.H64 1991
Publisher
Prentice-Hall,
Publication Date
1991
ISBN
9780135399255
Holds:
Copies:
by
Holzmann, Gerard J.
Author
Holzmann, Gerard J.
Format:
Call Number
TR350.H65 1988
Publisher
Prentice-Hall,
Publication Date
1988
ISBN
9780130744104
Holds:
Copies: