![Cover image for Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings Cover image for Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings
Author:
Namjoshi, Kedar S. editor.
ISBN:
9783540755968
Physical Description:
online resource.
Series:
Lecture Notes in Computer Science, 4762
Series Title:
Lecture Notes in Computer Science, 0302-9743 ; 4762
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-540-75596-8Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 187457-2001 | ONLINE | Searching... | Searching... |