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
|