Alexandra Silva

الكتب
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠٢١
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠٢١
Language, Logic, and Computation Language, Logic, and Computation
Language, Logic, and Computation
٢٠١٩
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
٢٠١٧

الكتب الصوتية
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)
٢٠١٩