Diller, Antoni.
Z : an introduction to formal methods / Antoni Diller. - 2nd ed. - Chichester, West Sussex, England ; New York : Wiley & Sons, 1994. - xix, 374 p. : ill ; 25 cm.
0471939730 :
94004943
Z (Computer program language)
Formal methods (Computer science)
005.1/2
Z : an introduction to formal methods / Antoni Diller. - 2nd ed. - Chichester, West Sussex, England ; New York : Wiley & Sons, 1994. - xix, 374 p. : ill ; 25 cm.
0471939730 :
94004943
Z (Computer program language)
Formal methods (Computer science)
005.1/2