Noch Fragen? 0800 / 33 82 637

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

ASYDE 2020: Second International Workshop on Automated and Verifiable Software System Development; CIFMA 2020: Second International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and CoSim-CPS 2020: Fourth International Workshop on Formal Co-Simulation of Cyber-Physical Systems. weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-030-67219-5 / 978-3030672195 / 9783030672195

Verlag: Springer International Publishing

Erscheinungsdatum: 17.01.2021

Seiten: 335

Auflage: 1

Herausgegeben von Mieke Massink, Loek Cleophas

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück