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
Θέματα:

Παρόμοια τεκμήρια