![Cover image for Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures Cover image for Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Author:
Bernardo, Marco. editor.
ISBN:
9783319189413
Edition:
1st ed. 2015.
Physical Description:
VII, 211 p. 72 illus. online resource.
Series:
Programming and Software Engineering, 9104
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-319-18941-3Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 519008-1001 | XX(519008.1) | Searching... | Searching... |