Cover image for Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
Title:
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
Author:
Hung, Dang. editor.
ISBN:
9783319024448
Physical Description:
XIV, 528 p. 115 illus. online resource.
Series:
Lecture Notes in Computer Science, 8172
Added Author:
Added Corporate Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 332921-1001 ONLINE(332921.1)
Searching...

On Order