FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
- Författare
- Cliff. Jones
- (Edited by Cliff Jones, Pekka Pihlajasaari, Jun Sun.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2014 | Tyskland, Cham | XVIII, 750 sidor. 185 illus. online resource. | 978-3-319-06410-9 |