Computer-Aided Verification: 2nd International Conference, Cav '90 New Brunswick, Nj, Usa, June 18-21, 1990 Proceedings - Brossura

Clarke, E. M. & Kurshan, R. P. (eds.)

 
9780387544779: Computer-Aided Verification: 2nd International Conference, Cav '90 New Brunswick, Nj, Usa, June 18-21, 1990 Proceedings
Brossura
ISBN 10: 0387544771 ISBN 13: 9780387544779
Casa editrice: Springer-Verlag, 1991

Sinossi

Book by Clarke E M

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer-Verlag
Data di pubblicazione
1991
Lingua
Inglese
ISBN 10 
0387544771
ISBN 13 
9780387544779
Rilegatura
Copertina flessibile
Contatto del produttore
non disponibile
Persona responsabile
non disponibile