The way of Z: practical programming with formal methods

other_versions_link
Bibliographic Details
Main Author: Jacky, Jonathan
Format: Printed Book
Language:English
Published: Cambridge Cambridge University press 1997
Subjects:
Z (Computer program language)

DCA

Holdings details from DCA
Call Number: 004.43 JAC
Copy Live Status Unavailable

Similar Items