търсене на книга
книги
Направете дарение
Впиши се
Впиши се
оторизираните потребители имат достъп до:
лични препоръки
Телеграм бот
хронология на изтеглянията
изпрати до Email или Kindle
управление на колекцията
запазване в любими
Лично
Заявки за книги
Изучаване
Z-Recommend
Списъци с книги
Най-популярни
Категории
Участие
Направете дарение
Качвания
Litera Library
Дарете хартиени книги
Добавяне на хартиени книги
Search paper books
Моят LITERA Point
Търсене на термини
Main
Търсене на термини
search
1
Process Algebra: Equational Theories of Communicating Processes
CUP
J. C. M. Baeten
,
T. Basten
,
M. A. Reniers
bsp
transition
recursion
theorem
recursive
processes
systems
specification
deduction
tsp
mpt
axioms
consider
axiom
equational
rec
composition
bspτ
operators
branching
prove
bisimilarity
variables
bcp
defined
πn
function
bspdrt
parallel
signature
a.x
choice
termination
theories
aip
assume
finite
bisimulation
bsprec
prefix
implies
specifications
solution
conservative
tcp
step
tcpτ
proposition
trace
completeness
Година:
2010
Език:
english
Файл:
PDF, 1.55 MB
Вашите тагове:
0
/
0
english, 2010
1
Следвайте
тази връзка
или потърсете бот „@BotFather“ в Telegram
2
Изпратете команда /newbot
3
Въведете име за вашия бот
4
Въведете потребителско име за бота
5
Копирайте последното съобщение от BotFather и го поставете тук
×
×