![Cover image for NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings Cover image for NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Author:
Badger, Julia M. editor.
ISBN:
9783030206529
Edition:
1st ed. 2019.
Physical Description:
XXI, 392 p. 372 illus., 58 illus. in color. online resource.
Series:
Programming and Software Engineering ; 11460
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-030-20652-9Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 484889-1001 | ONLINE | Searching... | Searching... |