Structured object-oriented formal language and method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers / edited by Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan.

This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi'an, China, in November 2017. The 13 revised full papers included in the volume were carefully reviewed and se...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Author:	SOFL+MSVL (Workshop) Xi'an, China)
Other Authors:	Tian, Cong (Editor), Nagoya, Fumiko (Editor), Liu, Shaoying, 1960- (Editor), Duan, Zhenhua (Editor)
Format:	Conference Proceeding eBook
Language:	English
Published:	Cham : Springer, 2018.
Series:	Lecture notes in computer science ; 10795.
Subjects:	Formal methods (Computer science) > Congresses. Object-oriented methods (Computer science) > Congresses. Object-oriented methods (Computer science) Formal methods (Computer science) Algorithms. Artificial intelligence. Computer logic. Computer science. Software engineering. Conference papers and proceedings.