Marco Roveri - Böcker

Visar alla böcker från författaren Marco Roveri.

2 produkter

Kategorier

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, Engelska, 2018

1 079 kr

Skickas inom 10-15 vardagar

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, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar