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

• Other Authors: Finance, Jean-Pierre (Editor), Jahnichen, Stefan (Editor), Loeckx, Jacques 1931- (Editor)
• Format: Book
• Language: English
• Subjects: Λογισμός; IBFI; Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού; SEMINAR REPORT