Showing 1 - 3 results of 3 for search '"Logiciels"', query time: 0.14s Refine Results
  1. 1
    Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings /
    Published 2005
    Subjects: “...Logiciels Vérification Congrès....”
    Connect to the full text of this electronic book
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  2. 2
    Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings /
    Published 2005
    Subjects: “...Logiciels Vérification Congrès....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  3. 3
    Software reliability methods /
    by Peled, Doron A., 1962-
    Published 2001
    Subjects: “...Fiabilité du logiciel. rasuqam...”
    Connect to the full text of this electronic book
    eBook
Search Tools: RSS Feed – Email Search