![Cover image for Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures Cover image for Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Author:
Bernardo, Marco. editor.
ISBN:
9783319073170
Edition:
1st ed. 2014.
Physical Description:
VIII, 343 p. 101 illus. online resource.
Series:
Programming and Software Engineering ; 8483
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-319-07317-0Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 489035-1001 | ONLINE | Searching... | Searching... |