შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024
თანხის შეგროვების შესახებ
წიგნების ძებნა
წიგნები
შეწირულობა:
25.2% ამოწურულია
შესვლა
შესვლა
ავტორიზებულ მომხმარებლებს აქვთ წვდომა:
პერსონალური რეკომენდაციები
Telegram ბოტი
ჩამოტვირთვის ისტორია
გაგზავნეთ Email-ზე ან Kindle-ზე
კრებულების მართვა
შენახვა რჩეულებში
პირადი
წიგნის მოთხოვნა
შესწავლა
Z-Recommend
წიგნების სარჩევი
ყველაზე პოპულარული
კატეგორია
მონაწილეობა
დახმარება
ატვირთვები
Litera Library
ქაღალდის წიგნების შეწირვა
ქაღალდის წიგნების დამატება
Search paper books
ჩემი LITERA Point
საკვანძო სიტყვების ძებნა
Main
საკვანძო სიტყვების ძებნა
search
1
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation
Vieweg
Kleuker S.
abb
spezifikation
wert
zustand
variablen
prog
promela
count
programm
timed
genutzt
modelchecking
gilt
semantik
spin
prozess
automata
erfüllt
uppaal
zunächst
prozesse
zustände
folgende
zeigt
beispiel
kommunikation
array
verifikation
korrektheit
teilnehmer
zusicherung
ausgeführt
bedingung
folgt
weiterhin
byte
anforderung
gezeigt
anforderungen
wobei
prog1
werte
zeiteinheiten
fehler
java
möglichkeit
schleife
zusicherungen
prog2
programme
წელი:
2009
ენა:
german
ფაილი:
PDF, 3.16 MB
თქვენი თეგები:
0
/
0
german, 2009
2
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation
Vieweg+Teubner Verlag
Stephan Kleuker (auth.)
abb
wert
spezifikation
zustand
prog
programm
promela
gilt
semantik
variablen
genutzt
spin
prozess
modelchecking
beispiel
zeigt
prozesse
zunächst
erfüllt
korrektheit
count
folgende
zustände
ausgeführt
byte
wobei
bedingung
kommunikation
folgt
timed
verifikation
weiterhin
gezeigt
prog1
zusicherung
werte
java
möglichkeit
anforderungen
fehler
markierung
array
prog2
schleife
transitionen
zusicherungen
programme
automata
trace
uppaal
წელი:
2009
ენა:
german
ფაილი:
PDF, 3.64 MB
თქვენი თეგები:
0
/
5.0
german, 2009
3
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation
Vieweg+Teubner Verlag
Stephan Kleuker
abb
wert
spezifikation
zustand
prog
programm
promela
gilt
semantik
variablen
genutzt
spin
prozess
modelchecking
beispiel
zeigt
prozesse
zunächst
erfüllt
korrektheit
count
folgende
zustände
ausgeführt
byte
wobei
bedingung
kommunikation
folgt
timed
verifikation
weiterhin
gezeigt
prog1
zusicherung
werte
java
möglichkeit
anforderungen
fehler
markierung
array
prog2
schleife
transitionen
zusicherungen
programme
automata
trace
uppaal
წელი:
2009
ენა:
german
ფაილი:
PDF, 3.69 MB
თქვენი თეგები:
0
/
0
german, 2009
4
Automatentheorie und Logik 001
Eike Best
ϕ
für
gilt
formel
logik
beispiel
abbildung
automaten
formeln
menge
d.h
über
ctl
büchi
satz
beweis
ϕ1
betrachten
automat
mso
ψ1
variablen
akzeptiert
struktur
ϕ2
september
vorlesungsskript
definiert
automatentheorie
knoten
wörter
zustand
wintersemester
kripke
bzw
operatoren
heißt
unendlich
können
definieren
konstruktion
falls
ψ0
abschnitt
wobei
ψ2
duplikator
z.b
aω
bäume
ენა:
german
ფაილი:
PDF, 853 KB
თქვენი თეგები:
0
/
0
german
1
მიჰყევით
ამ ბმულს
ან Telegram-ში მოძებნეთ „@BotFather“ ბოტი
2
გაგზავნეთ ბრძანება /newbot
3
შეიყვანეთ თქვენი ბოტის სახელი
4
შეიყვანეთ მომხმარებლის სახელი ბოტისთვის
5
დააკოპირეთ BotFather-ისგან ბოლო შეტყობინება და ჩასვით აქ
×
×