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

Powered by Koha