търсене на книга
книги
Направете дарение
Впиши се
Впиши се
оторизираните потребители имат достъп до:
лични препоръки
Телеграм бот
хронология на изтеглянията
изпрати до 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
Следвайте
тази връзка
или потърсете бот „@BotFather“ в Telegram
2
Изпратете команда /newbot
3
Въведете име за вашия бот
4
Въведете потребителско име за бота
5
Копирайте последното съобщение от BotFather и го поставете тук
×
×