Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ... Papers (Lecture Notes in Computer Science)

by Antonio Cerone (Editor), Marco Roveri (Editor), Marco Roveri (Editor), Antonio Cerone (Editor)

• Used

  Paperback
  2018

  $8.51

  This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. FAACS 2017 -- 1st Workshop on Formal Approaches for Advanced Computing Systems;