Logical theory for program construction Dagstuhl-Seminar-Report; 7 25.-1.3.1991(9109)

• Άλλοι συγγραφείς: Finance, Jean-Pierre (Επιμελητής έκδοσης), Jahnichen, Stefan (Επιμελητής έκδοσης), Loeckx, Jacques 1931- (Επιμελητής έκδοσης)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Θέματα: Λογισμός; IBFI; Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού; SEMINAR REPORT