![Cover image for Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings Cover image for Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Author:
Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555
ISBN:
9783030349684
Edition:
1st ed. 2019.
Physical Description:
XVII, 554 p. 1489 illus., 92 illus. in color. online resource.
Series:
Programming and Software Engineering ; 11918
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-030-34968-4Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 483746-1001 | ONLINE | Searching... | Searching... |