![Cover image for Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings Cover image for Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Author:
Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336
ISBN:
9783030317843
Edition:
1st ed. 2019.
Physical Description:
XI, 552 p. 754 illus., 60 illus. in color. online resource.
Series:
Programming and Software Engineering ; 11781
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-030-31784-3Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 486578-1001 | ONLINE | Searching... | Searching... |