Formal Methods and Software Engineering Shaoying Liu, Tom Maibaum & Keijiro Araki의 도서 더 보기
Software Fault Prevention, Verification, and Validation
2025년
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년