Computer aided verification : 10th international conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings
Alan J. Hu, Moshe Y. Vardi (eds.)
Bok Engelsk 1998 CAV '98
Utgitt | Berlin : Springer , c1998
|
---|---|
Omfang | IX, 552 s. : ill.
|
Emner | |
ISBN | 3540646086
|