Structured Object-Oriented Formal Language and Method Shaoying Liu, Zhenhua Duan & Ai Liu의 도서 더 보기
Software Fault Prevention, Verification, and Validation
2025년
Agile-SOFL
2024년
Structured Object-Oriented Formal Language and Method
2020년
Structured Object-Oriented Formal Language and Method
2019년
Structured Object-Oriented Formal Language and Method
2018년
Structured Object-Oriented Formal Language and Method
2017년
Formal Methods and Software Engineering
2016년
Structured Object-Oriented Formal Language and Method
2016년
Structured Object-Oriented Formal Language and Method
2015년
Structured Object-Oriented Formal Language and Method
2014년
Formal Methods and Software Engineering
2008년