pesquisa de livros
livros
Doar
Entrar
Entrar
para acessar mais recursos:
Recomendações pessoais
Telegram bot
Baixar histórico
Enviar para o E-mail ou Kindle
gerenciar as listas de livros
salvar para os favoritos
Pessoal
Pedidos de livro
Explorar
Z-Recomendado
Coleções de livros
Mais populares
Categorias
Contribuição
Doar
Carregamentos
Litera Library
Doe livros de papel
Adicione livros de papel
Search paper books
Meu LITERA Point
Pesquisa de termos
Main
Pesquisa de termos
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
Ano:
2008
Idioma:
english
Arquivo:
PDF, 4.74 MB
As suas tags:
0
/
0
english, 2008
1
Siga a
este link
ou encontre o bot "@BotFather" no Telegram
2
Send /equipe newbot
3
Indique o nome para o seu chatbot
4
Escolha um nome de usuário para um bot
5
Copia a última mensagem de BotFather e insira-a aqui
×
×