पुस्तकें खोजें
पुस्तकें
डोनेशन करें
साइन इन
साइन इन
अधिक सुविधाओं तक पहुँचने के लिए
व्यक्तिगत सिफारिशें
Telegram बॉट
डाउनलोड इतिहास
ईमेल या Kindle पर भेजें
बुकलिस्ट प्रबंधित करें
पसंदीदा में सहेजें
व्यक्तिगत
पुस्तक अनुरोध
सीखना
Z-Recommend
पुस्तक सूचियाँ
सबसे लोकप्रिय
श्रेणियाँ
योगदान
डोनेशन करें
अपलोड
Litera Library
पेपर पुस्तकें दान करें
पेपर पुस्तकें जोड़ें
Search paper books
मेरा LITERA Point
कीवर्ड के लिए खोज
Main
कीवर्ड के लिए खोज
search
1
LOTOSphere: Software Development with LOTOS
Springer US
Chris A. Vissers
,
Luís Ferreira Pires
,
Jeroen van de Lagemaat (auth.)
,
Tommaso Bolognesi
,
Jeroen van de Lagemaat
,
Chris Vissers (eds.)
lotos
specification
implementation
behaviour
protocol
specifications
figure
lotosphere
formal
processes
tools
gate
oriented
defined
step
transformations
endproc
functions
methodology
systems
function
event
osi
verification
choice
testing
input
gates
pdu
switch
abstract
noexit
events
techniques
approach
initial
values
functionality
components
transition
operations
internal
method
req
tester
operation
standard
architecture
equivalent
parameters
साल:
1995
भाषा:
english
फ़ाइल:
PDF, 12.84 MB
आपके टैग:
0
/
0
english, 1995
2
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Wiley-Interscience
Yoeli
,
Michael
,
Kol
,
Rakefet
lotos
petri
specification
nets
verification
ccs
file
transition
xor
input
graph
circuits
noexit
cadp
systems
processes
circuit
equivalent
command
labeled
in1
output
corresponding
proc
cwb
endproc
event
petrify
consider
verification
reference
in2
realization
marking
approach
inputs
defined
asynchronous
gate
implementation
outputs
figure
relevant
definition
transitions
behavior
observation
shown
outcome
parallel
साल:
2008
भाषा:
english
फ़ाइल:
PDF, 1.79 MB
आपके टैग:
0
/
0
english, 2008
3
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)
Michael Yoeli
,
Rakefet Kol
lotos
petri
specification
nets
verification
ccs
file
transition
xor
input
graph
circuits
noexit
cadp
systems
processes
circuit
equivalent
command
labeled
in1
output
corresponding
proc
cwb
endproc
event
petrify
consider
verification
reference
in2
realization
marking
approach
inputs
defined
asynchronous
gate
implementation
outputs
figure
relevant
definition
transitions
behavior
observation
shown
outcome
parallel
साल:
2008
भाषा:
english
फ़ाइल:
PDF, 857 KB
आपके टैग:
0
/
0
english, 2008
4
Estelle, LOTOS und SDL: Standard-Spezifikationssprachen für verteilte Systeme
Springer-Verlag Berlin Heidelberg
Dr. Dieter Hogrefe (auth.)
abb
spezifikation
beispiel
ipdu
lotos
prozeb
benutzer
isap
dienst
zustand
daten
menge
abschnitt
warten
idisind
protokoll
initiator
output
beschreibung
beschrieben
bool
iconreq
unterbrochen
urn
definiert
folgenden
verbunden
zeigt
false
prozesse
folgenummer
signal
endproc
idatreq
zusammenhang
isdu
soli
datentypen
besitzt
iconconf
nieht
nummer
osi
variablen
mub
prozesses
spezifiziert
tiber
beispiele
kanal
साल:
1989
भाषा:
german
फ़ाइल:
PDF, 9.72 MB
आपके टैग:
0
/
0
german, 1989
1
इस लिंक
का पालन करें या Telegram में "@BotFather" बॉट खोजें
2
/newbot कमांड भेजें
3
अपने चैटबॉट के लिए एक नाम निर्दिष्ट करें
4
बॉट के लिए उपयोगकर्ता नाम निर्दिष्ट करें
5
BotFather से आपको जो अंतिम संदेश मिले, पूरा का पूरा यह संदेश कॉपी करें और यहाँ पेस्ट करें
×
×