Z: an introduction to formal methods/

Main Author: Diller, Antoni
Format: Book
Language:English
Published: Chichester [England]: J. Wiley, c1990
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Πανεπιστήμιο Κύπρου - Ανοιχτό Πανεπιστήμιο ΚύπρουQA76.73.Z2D55 19901ΠροβολήOPAC