Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings (Lecture Notes in Computer Science (11918), Band 11918)

von: Wolfgang Ahrendt · Silvia Lizeth Tapia Tarifa Taschenbuch Details (Deutschland) (siehe auch: Kindle Ausgabe) Details (Vereinigte Staaten) (siehe auch: eBook (Kindle)) Details (Großbritannien) (siehe auch: eBook (Kindle)) EAN=ISBN-13: 978-3-030-34967-7 ISBN-10: 3-030-34967-5 Springer · 15. November 2019