Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, - detaljert visning

Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings /

edited by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa
Bok Engelsk 2019

Medvirkende	Ahrendt, Wolfgang. (editor) Tapia Tarifa, Silvia Lizeth (editor)

Utgitt	Cham : : Springer International Publishing , 2019
Omfang	554 sider
Utgave	1st ed. 2019
Emner	Software engineering Programming languages Computer logic Computer simulation
Dewey	005.1
ISBN	9783030349677