Αποτελέσματα αναζήτησης - Pfaller, Christian
-
1
Formal logical methods for system security and correctness
Έκδοση 2008Άλλοι συγγραφείς: “…Pfaller, Christian…”
An electronic book accessible through the World Wide Web; click to view
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο