Marco Roveri – författare
Visar alla böcker från författaren Marco Roveri.
2 produkter
2 produkter
Del 10729 - Lecture Notes in Computer Science
Software Engineering and Formal Methods
SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
Häftad, Engelska, 2018
1 059 kr
Skickas inom 10-15 vardagar
Formal Methods for Industrial Critical Systems
15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
Häftad, Engelska, 2010
719 kr
Skickas inom 10-15 vardagar