Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
21.2% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering
Springer-Verlag London
Pierre-Jacques Courtois (auth.)
claims
evidence
dependability
justification
expansion
structures
delegation
levels
values
events
systems
safety
req
defined
implementation
substructures
variables
clm0
substructure
elementary
input
output
undesired
specifications
argument
interpretation
justifying
architecture
components
models
reqk
initial
required
arguments
requirement
operation
subclaims
behaviour
range
logical
channels
existing
expansions
sofk
component
theorem
constants
satisfied
ξi
functions
Рік:
2008
Мова:
english
Файл:
PDF, 4.74 MB
Ваші теги:
0
/
0
english, 2008
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×