kitab axtarışı
kitablar
Dəstək ol
Giriş
Giriş
Avtorizasiyadan keçmiş istifadəçilər üçün aşağıdakılar mövcuddur:
fərdi tövsiyələr
Telegram botu
yükləmə tarixçəsi
Email-a və ya Kindle-a göndərmək
seçimin idarə edilməsi
seçilmişlərə əlavə edilməsi
Şəxsi
Kitab sorğuları
Öyrənməsi
Z-Recommend
Kitab siyahısı
Ən məşhurları
Kateqoriyalar
İştirak
Dəstək ol
Yükləmələr
Litera Library
Kağız kitabları iadə edin
Kağız kitabları əlavə edin
Search paper books
Mənim LITERA Point'um
Açar sözlərin axtarışı
Main
Açar sözlərin axtarışı
search
1
Real Time Programming: Languages, Specification & Verification
World Scientific Publishing Company
R. K. Shyamasundar
,
S. Ramesh
esterel
signal
statement
clock
signals
systems
input
reactive
emit
statements
synchronous
programs
module
crp
abort
output
rendezvous
node
construct
verification
transition
processes
specification
multiclock
controller
false
lustre
nodes
programming
asynchronous
figure
exec
ignition
stat1
execution
task
accel
clocks
await
corresponding
events
behavior
implementation
termination
values
cruise
parallel
alarm
csp
event
İl:
2002
Dil:
english
Fayl:
PDF, 1.01 MB
Sizin teqləriniz:
0
/
0
english, 2002
2
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Ve
Springer US
Holger Pfeifer (auth.)
,
Tommaso Bolognesi
,
Diego Latella (eds.)
protocol
systems
transition
event
verification
input
protocols
testing
specification
checking
node
algorithm
figure
automaton
defined
finite
fsm
network
processes
events
output
transitions
implementation
approach
module
formal
method
satisfaction
step
analysis
formula
sequences
graph
nodes
liveness
multicast
fault
initial
variables
belief
current
path
behaviour
statecharts
consider
esterel
generated
packet
automata
abstract
İl:
2000
Dil:
english
Fayl:
PDF, 23.30 MB
Sizin teqləriniz:
0
/
0
english, 2000
1
bu linkə
keçid edin və ya Telegramda "@BotFather" botunu axtarın
2
/newbot komandanı göndərin
3
Botunuzun adını qeyd edin
4
Bot üçün istifadəçi adını qeyd edin
5
BotFather-dən gələn son mesajını kopyalayıb bura daxil edin
×
×