Huaikou Miao

Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China

Formal Methods and Software Engineering: 4th International...

£89.99
Computer and Information Science 2009

Computer and Information Science 2009

£183.50
Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5,

Structured Object-Oriented Formal Language and Method: 9th...

£44.99