खोज परिणाम - Pfaller, Christian

  • प्रदर्शित 1 - 1 परिणाम 1
परिणाम को परिष्कृत करें
  1. 1

    Formal logical methods for system security and correctness

    प्रकाशित 2008
    अन्य लेखक: “…Pfaller, Christian…”
    An electronic book accessible through the World Wide Web; click to view
    इलेक्ट्रोनिक सम्मेलन की कार्यवाही ई-पुस्तक