Einar Broch Johnsen

도서
Active Object Languages: Current Research Trends Active Object Languages: Current Research Trends
Active Object Languages: Current Research Trends
2024년
The Logic of Software. A Tasting Menu of Formal Methods The Logic of Software. A Tasting Menu of Formal Methods
The Logic of Software. A Tasting Menu of Formal Methods
2022년
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2018년
Service-Oriented and Cloud Computing Service-Oriented and Cloud Computing
Service-Oriented and Cloud Computing
2017년
Tests and Proofs Tests and Proofs
Tests and Proofs
2017년
Service-Oriented and Cloud Computing Service-Oriented and Cloud Computing
Service-Oriented and Cloud Computing
2016년