recherche de livres
livres
Faire un don
S'identifier
S'identifier
les utilisateurs autorisés sont disponibles :
recommandations personnelles
Telegram bot
historique de téléchargement
envoyer par courrier électronique ou Kindle
gestion des listes de livres
sauvegarder dans mes Favoris
Personnel
Requêtes de livres
Recherche
Z-Recommend
Les sélections de livres
Les plus populaires
Catégories
La participation
Faire un don
Téléchargements
Litera Library
Faire un don de livres papier
Ajouter des livres papier
Search paper books
Mon LITERA Point
La recherche des mots clé
Main
La recherche des mots clé
search
1
Instruction Sequences for Computer Science
Atlantis Press
J A Bergstra
,
Cornelis A Middelburg
instruction
sequences
execution
bta
spisa
jump
boolean
function
axioms
reply
primitive
defined
arbitrary
method
probabilistic
ϕ
finite
theorem
threads
processing
operators
denoted
exists
memory
termination
recursive
πn
isna
sect
behaviour
bergstra
registers
halting
3sat
specification
f.u
isnr
polyadic
fixed
proposition
rec
extraction
indirect
notation
behaviours
maurer
poly
acpτ
effect
f.i
Année:
2012
Langue:
english
Fichier:
PDF, 1.53 MB
Vos balises:
0
/
0
english, 2012
2
Instruction Sequences for Computer Science
Atlantis Press
Jan A. Bergstra
,
Cornelis A. Middelburg
instruction
sequences
execution
bta
spisa
jump
boolean
function
axioms
reply
primitive
defined
arbitrary
method
ϕ
probabilistic
finite
theorem
threads
processing
operators
denoted
exists
memory
termination
πn
isna
recursive
sect
behaviour
bergstra
registers
halting
3sat
specification
f.u
isnr
polyadic
fixed
proposition
rec
extraction
indirect
behaviours
notation
poly
acpτ
effect
f.i
maurer
Année:
2012
Langue:
english
Fichier:
PDF, 4.53 MB
Vos balises:
0
/
0
english, 2012
3
Introduction to Process Algebra
Springer
Wan Fokkink
transition
bisimulation
recursive
recursion
branching
linear
axioms
specification
processes
theorem
transitions
rdp
modulo
πn
weight
operators
bisimilar
rsp
equations
acp
variables
tss
behaviour
rooted
silent
graph
τi
hx1
initial
congruence
equation
function
protocol
summand
merge
atomic
prove
axiomatisation
step
rewrite
abstraction
proceedings
specifications
systems
eacp
solution
bpa
acknowledgement
derive
verification
Année:
2000
Langue:
english
Fichier:
PDF, 1.14 MB
Vos balises:
0
/
0
english, 2000
4
Introduction to process algebra
Springer
Wan Fokkink
transition
bisimulation
recursive
recursion
branching
linear
axioms
specification
processes
theorem
transitions
rdp
modulo
πn
weight
operators
bisimilar
rsp
equations
acp
variables
tss
behaviour
rooted
silent
graph
τi
hx1
initial
congruence
equation
function
protocol
summand
merge
atomic
prove
axiomatisation
step
rewrite
abstraction
proceedings
specifications
systems
eacp
solution
bpa
acknowledgement
derive
verification
Année:
2007
Langue:
english
Fichier:
PDF, 984 KB
Vos balises:
0
/
0
english, 2007
1
Suivez
ce lien
ou recherchez le bot "@BotFather" sur Telegram
2
Envoyer la commande /newbot
3
Entrez un nom pour votre bot
4
Spécifiez le nom d'utilisateur pour le bot
5
Copier le dernier message de BotFather et le coller ici
×
×