Proving programs correct/

Main Author: Anderson, Robert Brockett
Format: Book
Language:English
Published: New York: John Wiley & Sons, c 1979
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών005.14 AndR p 19791ΠροβολήOPAC