Del 16237Theoretical Aspects of Computing – ICTAC 2025Zhiming Liu, Adnane Saoud, Heike WehrheimHäftad, 2025822 kr
Theoretical Aspects of Computing - ICTAC 2025Heike Wehrheim, Adnane Saoud, Zhiming Liu E-bok20251 031 kr
Formal Methods for Open Object-Based Distributed SystemsRoberto Gorrieri, Heike WehrheimHäftad, 2006561 kr
Formal Methods for Open Object-Based Distributed SystemsHeike Wehrheim, Roberto Gorrieri E-bok2006708 kr
Del 16237Theoretical Aspects of Computing – ICTAC 2025Zhiming Liu, Adnane Saoud, Heike WehrheimHäftad, 2025822 kr
Theoretical Aspects of Computing - ICTAC 2025Heike Wehrheim, Adnane Saoud, Zhiming Liu E-bok20251 031 kr
Formal Methods for Open Object-Based Distributed SystemsHeike Wehrheim, Roberto Gorrieri E-bok2006708 kr