Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
Kousha Etessami, Sriram K. Rajamani (eds.)
Bok Engelsk 2005 CAV 2005
| Utgitt | Berlin : Springer , c2005
|
|---|---|
| Omfang | XV, 564 s. : ill.
|
| Emner | |
| ISBN | 3540272313. - 9783540272311
|
