EN ورود

کشف منابع

David Naumann (eds.)

کتاب‌ها

2 نتیجه

Cover of Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

English Intermediate

Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

John Rushby (auth.),Rohit Gheyi,David Naumann (eds.)

2012 مشاهدهٔ کتاب

Cover of Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

English Beginner

Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

David Naumann (eds.)

2015 مشاهدهٔ کتاب