Structured Object-Oriented Formal Language and Method

Discover the intricacies of structured object-oriented formal languages with "Structured Object-Oriented Formal Language and Method," authored by Cong Tian. Published by Springer International Publishing AG in 2018, this book presents the thoroughly refereed workshop proceedings from the 7th International Workshop on Structured Object-Oriented Formal Language and Method (SOFL+MSVL 2017), held in Xi’an, China. Spanning 219 pages, it features 13 meticulously revised full papers selected from a total of 21 submissions, making it an essential read for researchers and practitioners alike. Delve into advanced concepts such as model checking and explore how they can be applied in various domains. Perfect for those looking to expand their knowledge in formal methods and software engineering, this book combines theoretical insights with practical applications. Add this invaluable resource to your library today!