Luke Ong

도서
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2017년
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
2011년
Foundations of Software Science and Computational Structures Foundations of Software Science and Computational Structures
Foundations of Software Science and Computational Structures
2010년