Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised ... 8979 (Lecture Notes in Computer Science)
by Shaoying Liu, Zhenhua Duan
ISBN 13: 9783319174037
Format: Paperback (200 pages) Publisher: Springer Published: 27 Apr 2015
Save for later
Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers: 7787 (Lecture Notes in Computer Science)
by Shaoying Liu
ISBN 13: 9783642392764
Format: Paperback (160 pages) Publisher: Springer Published: 14 Aug 2013
Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers: 9559 (Lecture Notes in Computer Science)
ISBN 13: 9783319312194
Format: Paperback (228 pages) Publisher: Springer Published: 13 Mar 2016
Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers: 10189 (Lecture Notes in Computer Science)
by Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya
ISBN 13: 9783319577074
Format: Paperback (252 pages) Publisher: Springer Published: 27 May 2017
Formal Engineering for Industrial Software Development: Using the SOFL Method
ISBN 13: 9783642058271
Format: Paperback (432 pages) Publisher: Springer Berlin Heidelberg Published: 19 Feb 2010