Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
Warren A. Hunt, Jr., Fabio Somenzi (eds.)
Bok Engelsk 2003 CAV 2003
| Utgitt | Berlin : Springer , c2003
|
|---|---|
| Omfang | XII, 462 s. : ill.
|
| Emner | |
| ISBN | 3540405240
|
