Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Computer aided verification 16th international conference, CAV 2004, Boston, MA, USA, July 13-17 2004 ; proceedingsCAV (Conference) (16th 2004 Boston, MA) Rajeev Alur 1966; Doron Peled 1962Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |