Donaciones 15 de septiembre 2024 – 1 de octubre 2024
Acerca de la recaudación de fondos
buscar libros
libros
Donaciones:
71.6% alcanzado
Iniciar sesión
Iniciar sesión
los usuarios autorizados tienen acceso a:
recomendaciones personales
Bot de Telegram
historial de descargas
enviar a correo electrónico o Kindle
gestión de listas de libros
guardar en favoritos
Personal
Solicitudes de libros
Estudio
Z-Recommend
Listas de libros
Más populares
Categorías
Participación
Donar
Cargas
Litera Library
Donar libros en papel
Agregar libros en papel
Search paper books
Mi LITERA Point
Búsqueda de palabras clave
Main
Búsqueda de palabras clave
search
1
Understanding Behaviour of Distributed Systems Using mCRL2
Springer
Muhammad Atif
,
Jan Friso Groote
false
formula
mcrl2
processes
ϕ
behaviour
heartbeat
systems
protocol
fixed
active
shown
specification
lst
proc
function
trace
formulas
checking
tmax
valid
linear
initial
pbes
map
allow
eqn
values
modal
element
operators
tmin
transition
boolean
deadlock
branching
parallel
bool
happen
maximal
variables
parameters
bisimulation
consider
acceptcoin
receiver
tick
comm
examples
rcvd
Año:
2023
Idioma:
english
Archivo:
PDF, 3.18 MB
Sus etiquetas:
0
/
0
english, 2023
2
Understanding Behaviour of Distributed Systems Using mCRL2
Springer
Muhammad Atif
,
Jan Friso Groote
false
formula
mcrl2
processes
ϕ
behaviour
heartbeat
systems
protocol
fixed
active
shown
specification
lst
proc
function
trace
formulas
checking
tmax
valid
linear
initial
pbes
map
allow
eqn
values
modal
element
operators
tmin
transition
boolean
deadlock
branching
parallel
bool
happen
maximal
variables
parameters
bisimulation
consider
acceptcoin
receiver
tick
comm
examples
rcvd
Año:
2023
Idioma:
english
Archivo:
PDF, 3.13 MB
Sus etiquetas:
0
/
5.0
english, 2023
3
Understanding Behaviour of Distributed Systems using mCRL2
Springer
Muhammad Atif
,
Jan Friso Groote
false
formula
mcrl2
processes
ϕ
behaviour
heartbeat
systems
protocol
fixed
active
shown
specification
lst
proc
function
trace
formulas
checking
tmax
valid
linear
initial
pbes
map
allow
eqn
values
modal
element
operators
tmin
transition
boolean
deadlock
branching
parallel
bool
happen
maximal
variables
parameters
bisimulation
consider
acceptcoin
receiver
tick
comm
examples
rcvd
Año:
2023
Idioma:
english
Archivo:
PDF, 3.13 MB
Sus etiquetas:
0
/
4.0
english, 2023
1
Sigue
este link
o encuentra al bot "@BotFather" en Telegram
2
Envía el comando /newbot
3
Indica un nombre para tu bot
4
Indica un nombre de usuario para el bot
5
Copia el último mensaje de BotFather e insértalo aquí
×
×