The Way of Z: practical programming with formal methods

other_versions_link
Bibliographic Details
Main Author: Jacky, Jonathan
Format: Printed Book
Published: Cambridge, CUP 1997
Subjects:
Computer programm language

MG University

Holdings details from MG University
Call Number: 005.133 Z
005.133 Z N7
Copy Live Status Unavailable
Copy Live Status Unavailable

Similar Items