търсене на книга
книги
Направете дарение
Впиши се
Впиши се
оторизираните потребители имат достъп до:
лични препоръки
Телеграм бот
хронология на изтеглянията
изпрати до Email или Kindle
управление на колекцията
запазване в любими
Лично
Заявки за книги
Изучаване
Z-Recommend
Списъци с книги
Най-популярни
Категории
Участие
Направете дарение
Качвания
Litera Library
Дарете хартиени книги
Добавяне на хартиени книги
Search paper books
Моят LITERA Point
Търсене на термини
Main
Търсене на термини
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
Година:
2002
Език:
english
Файл:
PDF, 9.14 MB
Вашите тагове:
0
/
0
english, 2002
1
Следвайте
тази връзка
или потърсете бот „@BotFather“ в Telegram
2
Изпратете команда /newbot
3
Въведете име за вашия бот
4
Въведете потребителско име за бота
5
Копирайте последното съобщение от BotFather и го поставете тук
×
×