![Cover image for Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings Cover image for Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Author:
Biondi, Fabrizio. editor.
ISBN:
9783030309237
Edition:
1st ed. 2019.
Physical Description:
X, 261 p. 605 illus., 41 illus. in color. online resource.
Series:
Theoretical Computer Science and General Issues ; 11636
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-030-30923-7Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 486937-1001 | ONLINE | Searching... | Searching... |