Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
18.5% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
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
Рік:
1995
Мова:
german
Файл:
PDF, 5.28 MB
Ваші теги:
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
Рік:
1989
Мова:
german
Файл:
PDF, 13.56 MB
Ваші теги:
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
Рік:
1989
Мова:
german
Файл:
PDF, 9.72 MB
Ваші теги:
0
/
0
german, 1989
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×