Logical theory for program construction
Logical theory for program construction Dagstuhl-Seminar-Report; 7 25.-1.3.1991(9109)
Λογισμός
IBFI
Ηλεκτρονικοί υπολογιστές--Γλώσσες προγραμματισμού
SEMINAR REPORT
Λογισμός
IBFI
Ηλεκτρονικοί υπολογιστές--Γλώσσες προγραμματισμού
SEMINAR REPORT