Proceedings of VERkshop III - A Formal Verification Workshop [Proceedings] Watsonville, California, 18-21 February 1985 ACM/SIGSOFT Vol 10, No 4, Aug. 1985

• Format: Book
• Language: English
• Published: New York Association for Computing Machinery c1985
• Subjects: ACM; PROCEEDINGS; Ηλεκτρονικοί υπολογιστές > Συνέδρια; SOFTWARE ENGINEERING
• Item Description: περιέχει βιβλιογραφία
• Physical Description: vi, 136p. fig.
• ISBN: 0899711717