Computer aided verification : 11th international conference, CAV'99, Trento, Italy, July 6-10, 1999 : proceedings
Nicolas Halbwachs, Doron Peled (eds.)
Bok Engelsk 1999 CAV '99
| Utgitt | Berlin : Springer , c1999
|
|---|---|
| Omfang | XII, 506 s. : ill.
|
| Emner | |
| ISBN | 3540662022
|
