Introduction to formal specification and Z
Potter, Ben
Introduction to formal specification and Z - - New York : Prentice-Hall, 1991 1991 - xiii,304 p. 23.5 cm - .
0-13-478702-112
Z (Computer program language)
681.3.06 Pot
Introduction to formal specification and Z - - New York : Prentice-Hall, 1991 1991 - xiii,304 p. 23.5 cm - .
0-13-478702-112
Z (Computer program language)
681.3.06 Pot