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
Modellierung verteilter Systeme: Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen
Vieweg+Teubner Verlag
Peter Ochsenschläger
,
Rainer Prinoth (auth.)
abb
transition
schalten
markierung
definiert
marke
transitionen
nat_o
menge
gilt
erreichbarkeitsgraphen
aktiviert
anfangsmarkierung
variablen
beispiel
netz
markierungen
netzes
automaten
läßt
protokoll
modell
zustand
netze
ack
setup
besteht
produktnetze
protokollinstanz
dateneinheit
enthält
falls
abbau
erreichbarkeitsgraph
schaltfolgen
verbindung
folgt
homomorphismen
modelliert
produktnetz
zeigt
führt
interpretation
entsteht
funktion
kooperationspartner
jeweils
zähler
isdn
sichtweise
Tahun:
1995
Bahasa:
german
Fail:
PDF, 5.28 MB
Tag anda:
0
/
0
german, 1995
2
Test von OSI-Protokollen
Springer-Verlag Berlin Heidelberg
Wilhelm Stoll (auth.)
verfahren
fiir
automaten
bild
schnittstelle
transition
osi
kate
transitionen
bzw
testverfahren
testsequenz
ktnkt
testdurchfiihrung
check
iiber
paket
testsequenzen
testdaten
menge
zustand
algorithmus
t_conind
einzelnen
gilt
t_conreq
verfahrens
vorgenommen
folgenden
disind
testschritt
anzahl
generierung
testszenario
ergibt
automat
endj
teilpfad
dafi
anhang
uio
wahrend
teststrategie
testsystem
disreq
identifizierung
testkoordinator
informationen
komponente
tkp
Tahun:
1989
Bahasa:
german
Fail:
PDF, 13.56 MB
Tag anda:
0
/
0
german, 1989
3
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
Tahun:
1989
Bahasa:
german
Fail:
PDF, 9.72 MB
Tag anda:
0
/
0
german, 1989
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
×
×