Formal Methods for Industrial Critical Systems
15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
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
Produktform: E-Buch Text Elektronisches Buch in proprietärem
78,10 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Formal Methods for Industrial Critical Systems
15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
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
Produktform: Buch / Einband - flex.(Paperback)
79,18 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage