Alexandra Silva

도서
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2021년
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2021년
Language, Logic, and Computation Language, Logic, and Computation
Language, Logic, and Computation
2019년
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
2017년

오디오북
No One But You: Imperfect Hearts, Book 1 (Unabridged) No One But You: Imperfect Hearts, Book 1 (Unabridged)
No One But You: Imperfect Hearts, Book 1 (Unabridged)
2019년