recherche de livres
livres
Faire un don
S'identifier
S'identifier
les utilisateurs autorisés sont disponibles :
recommandations personnelles
Telegram bot
historique de téléchargement
envoyer par courrier électronique ou Kindle
gestion des listes de livres
sauvegarder dans mes Favoris
Personnel
Requêtes de livres
Recherche
Z-Recommend
Les sélections de livres
Les plus populaires
Catégories
La participation
Faire un don
Téléchargements
Litera Library
Faire un don de livres papier
Ajouter des livres papier
Search paper books
Mon LITERA Point
La recherche des mots clé
Main
La recherche des mots clé
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
Année:
2009
Langue:
german
Fichier:
PDF, 3.16 MB
Vos balises:
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
Année:
2009
Langue:
german
Fichier:
PDF, 3.64 MB
Vos balises:
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
Année:
2009
Langue:
german
Fichier:
PDF, 3.69 MB
Vos balises:
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
Langue:
german
Fichier:
PDF, 853 KB
Vos balises:
0
/
0
german
1
Suivez
ce lien
ou recherchez le bot "@BotFather" sur Telegram
2
Envoyer la commande /newbot
3
Entrez un nom pour votre bot
4
Spécifiez le nom d'utilisateur pour le bot
5
Copier le dernier message de BotFather et le coller ici
×
×