A programming logic: with an introduction to the PL/CV verifier/

Main Author: Constable, Robert L.
Other Authors: O'Donnell, Michael J.,, Johnson, Scott D.
Format: Book
Language:English
Published: Cambridge, Mass.: Winthrop Publishers, Inc., c1978
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Πανεπιστήμιο Κύπρου - Ανοιχτό Πανεπιστήμιο ΚύπρουQA76.73.P252C66 19781ΠροβολήOPAC