Cărți de Marco Roveri

Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Lecture Notes in Computer Science, nr. 6371

Editat de Stefan Kowalewski et al.

9 sep 2010

Preț: 331^.25 lei 414^.07 lei

22-36 zile

-20%

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

Lecture Notes in Computer Science, nr. 10729

Editat de Antonio Cerone et al.

3 feb 2018

Preț: 476^.36 lei 595^.46 lei

38-44 zile

-20%