Software Engineering and Formal Methods المزيد من كتب Gilles Barthe, Alberto Pardo & Gerardo Schneider

L'enfance spirituelle L'enfance spirituelle
١٩٩٣
Security and Trust Management Security and Trust Management
٢٠١٦
Security and Trust Management Security and Trust Management
٢٠١١
Programming Languages and Systems Programming Languages and Systems
٢٠١١
Foundations of Security Analysis and Design V Foundations of Security Analysis and Design V
٢٠٠٩