Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, ... Notes in Computer Science Book 8938)

ISBN-13: 9783319152011

ISBN-10: 3319152017

Author: Carlos Canal

Edition: 2015

Binding: Kindle Edition

Publisher: Springer

Published: 2015

Sell this book           Buy or Rent?