Computer aided verification : 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
Ed Brinksma, Kim Guldstrand Larsen (eds.)
Bok Engelsk 2002 CAV 2002
| Utgitt | Berlin : Springer , c2002
|
|---|---|
| Omfang | XIII, 626 s. : ill.
|
| Emner | |
| ISBN | 3540439978
|
