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
Θέματα:
LEADER 01250cam a22003253u 4500
001 10105252
003 upatras
005 20210428161259.0
008 991022s eng
952 |0 0  |1 0  |4 0  |6 005_140000000000000  |7 0  |9 136842  |a CEID  |b CEID  |d 2016-04-24  |l 0  |o 005.14  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24 
999 |c 89613  |d 89613 
020 |a 3 540 54477 1 
040 |a Βιβλιοθήκη ΕΑΙΤΥ  |c Βιβλιοθήκη ΕΑΙΤΥ 
041 0 |a eng 
245 1 0 |a Computer-aided verification  |b Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990 
260 |a berlin  |b Springer-Verlag  |c c1991 
300 |a xiii,372p.  |b fig. 
490 0 |a Lecture Notes in Computer Science / G. Goos and J. Hartmanis  |v 531 
500 |a includes bibl. references 
650 4 |a COMPUTER SOFTWARE  |9 24488 
650 4 |a COMPUTER  |x AIDED VERIFICATION  |9 124074 
650 4 |a PROCEEDINGS  |9 24278 
650 4 |a ΕΠΕΑΕΚ  |9 116438 
650 4 |a ΠΡΑΚΤΙΚΑ ΣΥΝΕΔΡΙΩΝ  |9 113060 
650 4 |a LNCS  |9 113061 
700 1 |a Clarke, E. M.  |4 edt  |9 124075 
700 1 |a Kurshan, R. P.  |4 edt  |9 124076 
760 0 |a Lecture notes in computer science  |g 531 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΤΜΗΥΠ  |h 005.14  |t 1 
942 |2 ddc  |c BK15