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
|