![Cover image for Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings Cover image for Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Author:
Larsen, Kim Guldstrand. editor.
ISBN:
9783030270087
Edition:
1st ed. 2019.
Physical Description:
XV, 161 p. 156 illus., 33 illus. in color. online resource.
Series:
Programming and Software Engineering ; 11687
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-030-27008-7Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 484028-1001 | ONLINE | Searching... | Searching... |