Marco Roveri – författare
Visar alla böcker från författaren Marco Roveri.
2 produkter
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
Av Antonio Cerone, Marco Roveri
Häftad, 2018
1089 kr
Lägg i varukorg
Formal Methods for Industrial Critical Systems
15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
Av Stefan Kowalewski, Marco Roveri
Häftad, 2010
739 kr
Lägg i varukorg