Potter, Ben

Introduction to formal specification and Z - 2nd ed. - Harlow Pearson Prentice Hall 1996 - xiv, 434 p. ill. 24 cm.

0132422077 pbk


Computer software -- Development
Z (Computer program language)

005.12 / POT

Powered by Koha