作者 Alexander Knapp 的书籍 - BookPine

Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Alexandre Madeira

Ernest Bloch Studies

Ernest Bloch Studies

Alexander Knapp

Critical Systems: Formal Methods and Automated Verification (Joint 21st International Workshop on Formal Methods for Industrial Critical Systems)

Critical Systems: Formal Methods and Automated Verification (Joint 21st International Workshop on Formal Methods for Industrial Critical Systems)

Maurice H. ter Beek

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th ... Notes in Computer Science Book 9933)

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th ... Notes in Computer Science Book 9933)

Maurice H. ter Beek

Radical Innovations of Software and Systems Engineering in the Future

Radical Innovations of Software and Systems Engineering in the Future

Alexander Knapp

A Formal Approach to Object-oriented Software Engineering

A Formal Approach to Object-oriented Software Engineering

Alexander Knapp