books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Z-Recommend
Booklists
Most Popular
Categories
Contribution
Donate
Uploads
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Terms search
Main
Terms search
search
1
Dynamische Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung
Springer-Verlag Berlin Heidelberg
Udo W. Lipeck (auth.)
transitionsgraphen
formeln
integritatsbedingungen
transaktionen
knoten
gilt
formel
zustandsfolge
zustandsfolgen
sometime
gdw
zustand
datenbank
exists
temporale
spezifikation
temporalen
bedingungen
graphen
manuf
uber
gultig
objekte
operatoren
aile
z.b
database
gultigkeit
lemma
registered
belegung
nachbedingungen
uberwachung
transaktion
bzw
mub
false
bzgl
grundformeln
d.h
monitor
owns
beliebige
transitionsgraph
insbesondere
marking
beispiel
folgt
integritatsbedingung
logik
Year:
1989
Language:
german
File:
PDF, 10.58 MB
Your tags:
0
/
3.0
german, 1989
2
Objektorientierter Softwareentwurf: Integration mit UML
Springer Berlin Heidelberg
Ruth Breu
abb
objekte
operationen
objekten
z.b
nachrichten
klassen
msg
operation
spezifikation
interpretation
nieht
invarianten
beispiel
beschreibungstechniken
uml
menge
entwurf
aile
aggregation
systems
folgenden
zeigt
assoziationen
modellierung
d.h
verbunden
zugeordnet
gilt
zustandsdiagramme
bzw
nutzer
diagramm
spezifikationen
zustand
attribute
ftir
methoden
konzepte
urn
fiir
systemmodell
anhang
diagramme
struktur
tiber
zustandsdiagrammen
objektorientierten
falls
definiert
Year:
2001
Language:
german
File:
PDF, 28.96 MB
Your tags:
0
/
5.0
german, 2001
3
Objektorientierter Softwareentwurf: Integration mit UML
Springer-Verlag Berlin Heidelberg
Dr. Ruth Breu (auth.)
abb
objekte
operationen
objekten
z.b
nachrichten
klassen
msg
operation
spezifikation
interpretation
nieht
invarianten
beispiel
beschreibungstechniken
uml
menge
entwurf
aile
aggregation
systems
folgenden
zeigt
assoziationen
modellierung
d.h
verbunden
zugeordnet
gilt
zustandsdiagramme
bzw
nutzer
diagramm
spezifikationen
zustand
attribute
ftir
methoden
konzepte
urn
fiir
systemmodell
anhang
diagramme
struktur
tiber
zustandsdiagrammen
objektorientierten
falls
definiert
Year:
2001
Language:
german
File:
PDF, 18.77 MB
Your tags:
0
/
0
german, 2001
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×