Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings
E. Allen Emerson, Kedar S. Namjoshi (eds.)
Bok Engelsk 2006 VMCAI 2006
| Utgitt | Berlin : Springer , c2006
|
|---|---|
| Omfang | XI, 442 s. : ill.
|
| Emner | |
| ISBN | 3540311394. - 9783540311393
|
