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
• Θέματα: Ηλεκτρονικοί υπολογιστές > Προγραμματισμός
• Περιγραφή τεκμηρίου: Περιέχει βιβλιογραφικές αναφορές
• Φυσική περιγραφή: xiv, 455p. fig.
• ISBN: 3540151990