kitap ara
kitaplar
Destekle
Giriş yap
Giriş yap
giriş yapıldıktan sonra kullanıcılar aşağıdakileri kullanılabilir:
kişisel Tavsiyeler
Telegram botu
indirme geçmişi
E-posta'ya veya Kindle'e gönder
koleksiyon yönetimi
favorilere kaydet
Kişisel
Kitap istekleri
Keşfet
Z-Recommend
Kitap seçimi
En popüler
Kategoriler
Bağış
Destekle
Yüklenilenler
Litera Library
Kağıt kitapları bağış yapın
Basılı kitaplar ekleyin
Search paper books
Benim LITERA Point
Anahtar kelime araması
Main
Anahtar kelime araması
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
Yıl:
1995
Dil:
german
Dosya:
PDF, 5.28 MB
Etiketleriniz:
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
Yıl:
1989
Dil:
german
Dosya:
PDF, 13.56 MB
Etiketleriniz:
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
Yıl:
1989
Dil:
german
Dosya:
PDF, 9.72 MB
Etiketleriniz:
0
/
0
german, 1989
1
Bu bağlantıyı
takip edin veya Telegram'da @BotFather botunu arayın
2
Ona /newbot gönder
3
Botunuz için bir ad girin
4
Bot için kullanıcı adını belirtin
5
BotFather'dan gelen son mesajı kopyalayın ve buraya yapıştırın
×
×