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
|
