Formal specification and documentation using Z : a case study approach /

Bibliographic Details
Main Author:	465665 Bowen, Jonathan
Format:
Language:	eng
Published:	London : International Thomson Publishing, 1996
Subjects:	Z (Computer program language) Computer software

Similar Items