Formal Methods for Industrial Critical Systems - 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings
- Författare
- Frédéric. Lang
- (Edited by Frédéric Lang, Francesco Flammini.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2014 | Tyskland, Cham | XIV, 201 sidor. 84 illus. online resource. | 978-3-319-10702-8 |