buscar libros
libros
Donar
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
Process Algebra with Timing
Springer
J. C. M. Baeten
,
C. A. Middelburg
timing
axioms
bpa
acp
processes
relative
absolute
discrete
sect
equations
recursive
transition
specification
bisimulation
operational
acpdrt
operators
abstraction
slice
composition
axiom
signature
acpdat
rec
port
continuous
delay
equation
recursion
deadlocked
bpadrt
initialization
standard
prove
undelayable
consider
bpadat
capable
scale
tss
bpasrt
parallel
step
vabs
constants
idling
bpasat
presented
negative
acpsrt
Año:
2002
Idioma:
english
Archivo:
PDF, 9.14 MB
Sus etiquetas:
0
/
0
english, 2002
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í
×
×