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 / Bernardo, Marco.
| Author/creator | Bernardo, Marco |
| Other author | Johnsen, Einar Broch. |
| Other author | SpringerLink (Online service) |
| Format | Electronic |
| Publication Info | [S.l.] : Springer International Publishing, |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2015 English International |
| Supplemental Content | Full text available from Springer Books |
| General note | Title from content provider. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |