検索結果 - "Computer software Reliability Congresses."

  • 検索結果 1 - 6 結果 / 6
結果の絞り込み
  1. 1

    Software system reliability and security

    出版事項 2007
    図書


    表紙画像
  2. 2

    Reliable software technologies - Ada-Europe 2011 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings

    出版事項 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    表紙画像
  3. 3

    HILT '13 proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA

    出版事項 2013
    図書


    表紙画像
  4. 4

    HILT 2014 proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA

    出版事項 2014
    図書


    表紙画像
  5. 5

    Tests and proofs 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings

    出版事項 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    表紙画像
  6. 6

    Formal methods for industrial critical systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

    出版事項 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    表紙画像

検索ツール: