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

• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: New York Association for Computing Machinery c1985
• Θέματα: ACM; PROCEEDINGS; Ηλεκτρονικοί υπολογιστές > Συνέδρια; SOFTWARE ENGINEERING
• Περιγραφή τεκμηρίου: περιέχει βιβλιογραφία
• Φυσική περιγραφή: vi, 136p. fig.
• ISBN: 0899711717