Book
Call No.:
621.381952 A517
New Arrival
DESIGNING AND IMPLEMENTING A CAL PACKAGE FOR FORMAL SPECIFICATIONS AND THE Z LANGUAGE/ YOUSIF M. AMIN.
By:
YOUSIF M. AMIN
Publisher:
University Of Sheffield،
Publication Date:
1994