MPG.eBooks - Search Results - "machine"

Cover Image

1

Structured Object-Oriented Formal Language and Method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

Published 2016

Springer International Publishing

Subjects: “...Machine theory...”

Cover Image

2

Structured Object-Oriented Formal Language and Method : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Published 2015

Springer International Publishing

Subjects: “...Machine theory...”

Cover Image

3

Structured Object-Oriented Formal Language and Method : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Published 2014

Springer International Publishing

Subjects: “...Machine theory...”

Cover Image

4

Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Cover Image

5

Formal Engineering for Industrial Software Development : Using the SOFL Method

by Liu, Shaoying
Published 2004

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Cover Image

6

Structured Object-Oriented Formal Language and Method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers

Published 2021

Springer International Publishing

Subjects: “...Machine theory...”

Cover Image

7

Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Published 2016

Springer International Publishing

Subjects: “...Machine theory...”

Cover Image

8

Structured Object-Oriented Formal Language and Method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Published 2013

Springer Berlin Heidelberg

Subjects: “...Machine theory...”