Κανονική προβολή Προβολή MARC Προβολή ISBD

Logics of programs Workshop, Yorktown Heights, New York, May 1981 edited by Dexter Kozen - Berlin Springer-Verlag 1982 - vi, 429 σ. πιν. 25 εκ. - Lecture notes in computer science 131 .

ISBN: 354011212X

Subjects--Topical Terms:
Ηλεκτρονικοί υπολογιστές--Προγράμματα

Dewey Class. No.: 519.7