carian buku
buku
Menyokong
Log masuk ke
Log masuk ke
pengguna yang dibenarkan mempunyai akses kepada:
cadangan peribadi
Bot Telegram
sejarah muat turun
menghantar ke E-mel atau Kindle
pengurusan senarai buku
penyimpanan ke favorit
Peribadi
Permintaan buku
Penelitian
Z-Recommend
Senarai buku
Yang paling popular
Kategori
Penyertaan
Menyokong
Muat naik
Litera Library
Menyumbangkan buku kertas
Menambahkan buku-buku kertas
Search paper books
LITERA Point saya
Carian kata kunci
Main
Carian kata kunci
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
Tahun:
2010
Bahasa:
english
Fail:
PDF, 1.55 MB
Tag anda:
0
/
0
english, 2010
1
Ikuti
pautan ini
atau cari bot "@BotFather" dalam Telegram
2
Hantar arahan /newbot
3
Berikan nama untuk bot anda
4
Berikan nama pengguna untuk bot
5
Salin mesej terbaharu daripada BotFather dan tampalkannya di sini
×
×