Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
Thomas Ball, Robert B. Jones (eds.)
Bok Engelsk 2006 CAV 2006
| Utgitt | Berlin : Springer , c2006
|
|---|---|
| Omfang | XV, 564 s. : ill.
|
| Emner | |
| ISBN | 354037406X. - 9783540374060
|
