English
Advanced
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
Peter Csaba Ölveczky (auth.)
2017
مشاهدهٔ کتاب
کشف منابع
Maude
کتابها
1 نتیجه