Computer-aided verification Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990

• Άλλοι συγγραφείς: Clarke, E. M. (Επιμελητής έκδοσης), Kurshan, R. P. (Επιμελητής έκδοσης)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: berlin Springer-Verlag c1991
• Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis 531
• Θέματα: COMPUTER SOFTWARE; COMPUTER > AIDED VERIFICATION; PROCEEDINGS; ΕΠΕΑΕΚ; ΠΡΑΚΤΙΚΑ ΣΥΝΕΔΡΙΩΝ; LNCS
• Περιγραφή τεκμηρίου: includes bibl. references
• Φυσική περιγραφή: xiii,372p. fig.
• ISBN: 3 540 54477 1