Taschenbuch
Details (Kanada)
(siehe auch: eBook (Kindle))
ISBN-13: 978-3-319-48990-2
ISBN-10: 3-319-48990-9
Springer · 2017
| Siehe auch: | ||
| 2016 | Taschenbuch | FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Lecture Notes in Computer Science, Band 9995) |