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

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

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

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

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

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

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

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

    Engineering dependable software systems /

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

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

    Dependable software systems engineering /

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

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

    Engineering dependable software systems /

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

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

    Dependable software systems engineering /

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

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

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