търсене на книга
книги
Направете дарение
Впиши се
Впиши се
оторизираните потребители имат достъп до:
лични препоръки
Телеграм бот
хронология на изтеглянията
изпрати до 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 и го поставете тук
×
×