Duan, Zhenhua books & textbook
Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised ... Computer Science and General Issues)
Springer /2015-04-27 Paperback / 197 Pages
isbn-10: 3319174037 / isbn-13: 9783319174037
Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected ... Computer Science and General Issues)
Liu, Shaoying Duan, Zhenhua Tian, Cong Nagoya, Fumiko
Springer /2017-04-21 Paperback / 249 Pages
isbn-10: 3319577077 / isbn-13: 9783319577074
Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected ... Computer Science and General Issues)
Tian, Cong Nagoya, Fumiko Liu, Shaoying Duan, Zhenhua
Springer /2018-04-18 Paperback / 229 Pages
isbn-10: 3319901036 / isbn-13: 9783319901039
Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, ... Computer Science and General Issues)
Springer /2014-03-11 Paperback / 203 Pages
isbn-10: 3319049143 / isbn-13: 9783319049144
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings (Programming and Software Engineering)
Springer /2017-10-14 Paperback / 515 Pages
isbn-10: 3319686895 / isbn-13: 9783319686899
Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers (Theoretical Computer Science and General Issues)
Xue, Jinyun Nagoya, Fumiko Liu, Shaoying Duan, Zhenhua
Springer /2021-06-04 Paperback / 216 Pages
isbn-10: 3030774732 / isbn-13: 9783030774738
Theory and Applications of Models of Computation: 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings (Lecture Notes in Computer Science, 4978)
Agrawal, Manindra Du, Ding-Zhu Duan, Zhenhua Li, Angsheng
Springer /2008-04-08 Paperback / 610 Pages
isbn-10: 3540792279 / isbn-13: 9783540792277
Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected ... Computer Science and General Issues)
Springer /2016-03-13 Paperback / 227 Pages
isbn-10: 3319312197 / isbn-13: 9783319312194
Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
Liu, Shaoying Duan, Zhenhua Liu, Ai
Springer /2023-03-25 Paperback / 164 Pages
isbn-10: 3031294750 / isbn-13: 9783031294754
Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected ... Computer Science and General Issues)
Miao, Huaikou Tian, Cong Liu, Shaoying Duan, Zhenhua
Springer /2020-02-20 Paperback / 376 Pages
isbn-10: 3030414175 / isbn-13: 9783030414177
