Topics in Theoretical Computer Science Mohammad Reza Mousavi & Jiří Sgall의 도서 더 보기

Rebeca for Actor Analysis in Action Rebeca for Actor Analysis in Action
Rebeca for Actor Analysis in Action
2025년
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
2022년
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
2018년
Cyber Physical Systems. Design, Modeling, and Evaluation Cyber Physical Systems. Design, Modeling, and Evaluation
Cyber Physical Systems. Design, Modeling, and Evaluation
2017년
Topics in Theoretical Computer Science Topics in Theoretical Computer Science
Topics in Theoretical Computer Science
2016년
Cyber Physical Systems. Design, Modeling, and Evaluation Cyber Physical Systems. Design, Modeling, and Evaluation
Cyber Physical Systems. Design, Modeling, and Evaluation
2015년