The B language and method : a guide to practical formal development/

Main Author: Lano, K.
Format: Book
Language:English
Published: London ; New York : Springer, c1996.
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Πανεπιστήμιο Μακεδονίας-1ΠροβολήOPAC