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
Program Development by Refinement: Case Studies Using the B Method
Springer-Verlag London
Ken A. Robinson (auth.)
,
Emil Sekerinski
,
Kaisa Sere (eds.)
refinement
operations
node
truck
variables
implementation
invariant
specification
machines
false
select
operation
belt
systems
abstract
procedures
step
initialisation
load2
nodes
method
bool
heap
container
item
parallel
global
algorithm
customer
arm2
sets
refined
edges
yob
obligations
balancing
parameters
controller
input
rot
loadl
queue
card
estim12
recl2
customers
crane
accounts
arml
composition
Ano:
1999
Idioma:
english
Arquivo:
PDF, 29.09 MB
As suas tags:
0
/
0
english, 1999
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
×
×