Software Fault Prevention, Verification, and Validation Shaoying Liu의 도서 더 보기
Agile-SOFL
2024년
Structured Object-Oriented Formal Language and Method
2023년
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년