Formal Techniques for Distributed Objects, Components, and Systems

Thông tin tác giả: Baier, Christel, Caires, Luís
Thông tin xuất bản: Springer International Publishing 2020

Foundations of Software Science and Computation Structures

Thông tin tác giả: Baier, Christel, Lago, Ugo Dal
Thông tin xuất bản: Springer International Publishing 2020

SOFSEM 2017: Theory and Practice of Computer Science

Thông tin tác giả: Steffen, Bernhard, Baier, Christel, Brand, Mark van den, Eder, Johann, Hinchey, Mike, Margaria, Tiziana
Thông tin xuất bản: Springer International Publishing 2020