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

Sinossi

Book by Clarke E M

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