![Cover image for Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings Cover image for Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
Author:
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
ISBN:
9783030311575
Edition:
1st ed. 2019.
Physical Description:
X, 207 p. 339 illus., 34 illus. in color. online resource.
Series:
Programming and Software Engineering ; 11823
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-030-31157-5Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 482859-1001 | ONLINE | Searching... | Searching... |