Foundational and Practical Aspects of Resource Analysis
Marko Van Eekelen, Olha Shkaravska
₹5,465
Author
Books by Marko Van Eekelen
Showing 1–2 of 2 books
Interactive Theorem Proving
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz
₹5,593
Author
Showing 1–2 of 2 books
Marko Van Eekelen, Olha Shkaravska
₹5,465
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz
₹5,593