![Cover image for Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers Cover image for Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Author:
Piskac, Ruzica. editor.
ISBN:
9783030035921
Edition:
1st ed. 2018.
Physical Description:
XVI, 345 p. 101 illus., 10 illus. in color. online resource.
Series:
Programming and Software Engineering ; 11294
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-030-03592-1Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 399597-1001 | ONLINE | Searching... | Searching... |