![Cover image for Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings Cover image for Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Author:
Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712
ISBN:
9783030324094
Edition:
1st ed. 2019.
Physical Description:
XXI, 528 p. 491 illus., 73 illus. in color. online resource.
Series:
Programming and Software Engineering ; 11852
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-030-32409-4Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 484770-1001 | ONLINE | Searching... | Searching... |