Structured Object-Oriented Formal Language and Method

Discover the cutting-edge insights in "Structured Object-Oriented Formal Language and Method," authored by Huaikou Miao and published by Springer Nature Switzerland AG in 2020. This comprehensive volume features the thoroughly refereed proceedings from the 9th International Workshop on Structured Object-Oriented Formal Language and Method (SOFL+MSVL 2019), which took place in Shenzhen, China, in November 2019.

Spanning 364 pages, this book delves into advanced topics in formal methods and object-oriented programming, making it an essential resource for researchers, practitioners, and students in the field. Whether you are looking to enhance your knowledge or explore new methodologies, this edition is a valuable addition to your library.

Don’t miss the opportunity to gain insights from leading experts and stay at the forefront of this evolving discipline. Order your copy today!