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