Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, ... in Computer Science (11758), Band 11758)

von: Brijesh Dongol · Luigia Petre · Graeme Smith Taschenbuch Details (Deutschland) (siehe auch: Kindle Ausgabe) Details (USA) (siehe auch: eBook (Kindle)) Details (Großbritannien) (siehe auch: eBook (Kindle)) Details (Kanada) (siehe auch: eBook (Kindle)) ISBN: 978-3-030-32440-7 ISBN-10: 3-030-32440-0 Springer · Oktober 2019