Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, ... 10610 (Lecture Notes in Computer Science)

by Luke Ong (Editor), Luke Ong (Editor), Zhenhua Duan (Editor)

• New

  Paperback
  2017

  $71.24

  The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.