Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings: 8767 (Lecture Notes in Computer Science)
by Juergen Dingel,Wolfram Schulte,Isidro Ramos,Silvia Abrahao,Emilio Insfran
ISBN 13: 9783319116525
Format: Paperback (716 pages) Publisher: Springer Published: 22 Sep 2014
Save for later
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, ... 3308 (Lecture Notes in Computer Science)
by Jim Davies,Mike Barnett,Wolfram Schulte
ISBN 13: 9783540238416
Format: Illustrated (500 pages) Publisher: Springer Published: 13 Jun 2008