Результаты поиска - "Computer software Verification Congresses."

Предлагаемые темы внутри своего поиска.
  • Отображение 1 - 4 результаты of 4
Отмена результатов
  1. 1
    Значок книги

    Software safety and security tools for analysis and verification /

    Опубликовано 2012
    Предметы: “...Computer software Verification Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Электронный ресурс Материалы конференции eКнига

    Добавить в Избранное
    Сохранить в:
  2. 2
    Значок книги

    Engineering dependable software systems /

    Опубликовано 2013
    Предметы: “...Computer software Verification Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Электронный ресурс Материалы конференции eКнига

    Добавить в Избранное
    Сохранить в:
  3. 3
    Значок книги

    Dependable software systems engineering /

    Опубликовано 2015
    Предметы: “...Computer software Verification Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Электронный ресурс eКнига

    Добавить в Избранное
    Сохранить в:
  4. 4
    Значок книги

    Verification of infinite-state systems with applications to security

    Опубликовано 2006
    Предметы: “...Computer software Verification Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Электронный ресурс Материалы конференции eКнига

    Добавить в Избранное
    Сохранить в:

Инструменты поиска: