مرور بر اساس تاریخ انتشار Baier, Christel. ;
Showing results 1 to 2 of 2
| Preview | Issue Date | Title | Contributor(s) |
|---|---|---|---|
 | 2018 | Formal Techniques for Distributed Objects, Components, and Systems | Baier, Christel. ;; Caires, Lues. ; |
 | 2018 | Foundations of Software Science and Computation Structures | Baier, Christel. ;; Dal Lago, Ugo. ; |