Formal Methods and Software Development Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT). Berlin, March 25-29, 1985

• Άλλοι συγγραφείς: Floyd, Christiane, Εhrig, Hartmut
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin Springer-Verlag c1985
• Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis 186
• Θέματα: Ηλεκτρονικοί υπολογιστές > Προγραμματισμός