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
Design and Verification of Microprocessor Systems for High-Assurance Applications
Springer US
Matt Kaufmann
,
J Strother Moore (auth.)
,
David S. Hardin (eds.)
function
verification
acl2
input
theorem
functions
graph
formal
specification
output
variables
analysis
step
security
systems
implementation
memory
values
defined
symbolic
inputs
instruction
lemma
define
kernel
refinement
aamp7g
conditional
element
checking
correctness
switch
compiler
execution
verified
cryptol
approach
models
prove
abstract
key
regs
ynb
trace
bool
addition
microprocessor
partition
springer
noninterference
Ano:
2010
Idioma:
english
Arquivo:
PDF, 6.19 MB
As suas tags:
0
/
0
english, 2010
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
×
×