![Cover image for Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings Cover image for Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
Author:
Enea, Constantin. editor.
ISBN:
9783030112455
Edition:
1st ed. 2019.
Physical Description:
XVII, 602 p. 1329 illus., 69 illus. in color. online resource.
Series:
Theoretical Computer Science and General Issues ; 11388
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-030-11245-5Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 482913-1001 | ONLINE | Searching... | Searching... |