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

Рекомендовані теми у межах Вашого пошуку.
  • Показ 1 - 9 результатів із 9
Уточнити результати
  1. 1
    Зображення обкладинки

    The software audit guide / за авторством Helgeson, John W., 1945-

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

    Додати у Вибране
    Збережено в:
  2. 2
    Зображення обкладинки

    Principles of model checking за авторством Baier, Christel

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

    Додати у Вибране
    Збережено в:
  3. 3
    Зображення обкладинки

    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Книга

    Додати у Вибране
    Збережено в:
  4. 4
    Зображення обкладинки

    Robot framework test automation / за авторством Bisht, Sumit

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

    Додати у Вибране
    Збережено в:
  5. 5
    Зображення обкладинки

    Engineering dependable software systems /

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

    Додати у Вибране
    Збережено в:
  6. 6
    Зображення обкладинки

    Dependable software systems engineering /

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

    Додати у Вибране
    Збережено в:
  7. 7
    Зображення обкладинки

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS за авторством Yoeli, Michael, 1917-

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

    Додати у Вибране
    Збережено в:
  8. 8
    Зображення обкладинки

    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Книга

    Додати у Вибране
    Збережено в:
  9. 9
    Зображення обкладинки

    Metamodeling-driven IP reuse for SoC integration and microprocessor design за авторством Mathaikutty, Deepak A.

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

    Додати у Вибране
    Збережено в:

Інструменти для пошуку: