Computer-aided verification : 2nd international conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings
E. M. Clarke, R. P. Kurshan (eds.)
Bok Engelsk 1991 CAV '90
| Utgitt | Berlin : Springer , c1991
|
|---|---|
| Omfang | XIII, 372 s. : ill.
|
| Emner | |
| ISBN | 0387544771. - 3540544771
|
