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

• Other Authors: Floyd, Christiane, Εhrig, Hartmut
• Format: Book
• Language: English
• Published: Berlin Springer-Verlag c1985
• Series: Lecture Notes in Computer Science / G. Goos and J. Hartmanis 186
• Subjects: Ηλεκτρονικοί υπολογιστές > Προγραμματισμός
• Item Description: Περιέχει βιβλιογραφικές αναφορές
• Physical Description: xiv, 455p. fig.
• ISBN: 3540151990