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
Communication and Concurrency
Prentice Hall PTR
Robin Milner
proposition
calculus
bisimulation
prove
composition
define
consider
defined
systems
equations
variables
examples
combinators
equality
transition
bisimilarity
jobber
defining
buffn
equation
induction
specification
behaviour
programming
finite
sequential
observation
restriction
determinacy
summation
confluent
hoare
sched
combinator
whenever
wish
congruence
hammer
scheduler
ports
confluence
expansion
inference
relabelling
definitions
function
assume
standard
labels
operators
Ano:
1995
Idioma:
english
Arquivo:
DJVU, 1.99 MB
As suas tags:
0
/
0
english, 1995
2
Communication and Concurrency
PH
Milner R.
proposition
calculus
bisimulation
prove
composition
define
consider
defined
systems
equations
variables
examples
combinators
equality
transition
jobber
bisimilarity
defining
equation
buffn
induction
specification
behaviour
programming
sequential
finite
observation
restriction
determinacy
hoare
summation
confluent
sched
whenever
wish
combinator
congruence
scheduler
hammer
ports
confluence
expansion
inference
relabelling
definitions
function
assume
standard
labels
operators
Ano:
1995
Idioma:
english
Arquivo:
DJVU, 1.96 MB
As suas tags:
0
/
0
english, 1995
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
×
×