Z :
Diller, Antoni
Z : an introduction to formal methods / Antoni Diller - 2nd ed. - Chichester : John Wiley, c1994. - xix, 374 p. : ill. ; 25 cm.
0471939730
Computer program language
Formal methods
Computer science
QA76.73 / .Z2D55 1994
Z : an introduction to formal methods / Antoni Diller - 2nd ed. - Chichester : John Wiley, c1994. - xix, 374 p. : ill. ; 25 cm.
0471939730
Computer program language
Formal methods
Computer science
QA76.73 / .Z2D55 1994