pretraga knjiga
knjige
Donirati
Prijaviti se
Prijaviti se
prijavljenim korisnicima su dostupni:
lične preporuke
Telegram bot
istorija preuzimanja
poslati na Email ili Kindle
upravljanje zbirkama
sačuvanje u izabrano
Lično
Upite za knjige
Proučavanje
Z-Recommend
Spiskovi knjiga
Najpopularnije
Kategorije
Učešće
Donirati
Otpremanja
Litera Library
Donirati papirne knjige
Dodati papirne knjige
Search paper books
Moj LITERA Point
Pretraga ključnih reči
Main
Pretraga ključnih reči
search
1
Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen für asynchrone Prozesse
Springer Vieweg
Malte Schmitz (auth.)
ϕ
formel
proposition
propositionen
agenten
fdtl
semantik
definition
menge
automaten
ptltl
zustand
monitor
monitore
gilt
verwendet
büchi
ltl3
beispiel
automat
sodass
dtl
formeln
ausgabe
zeichen
enthält
lauf
dreiwertigen
entfernten
monitors
definiert
quelltext
folgenden
teilformeln
auswertung
funktion
monitorkonstruktion
zustände
nachricht
automatenmodell
endlichen
operatoren
false
fsdtl
monitorgenerierung
dreiwertige
teilformel
systems
nachrichten
abbildung
Godina:
2016
Jezik:
german
Fajl:
PDF, 1.51 MB
Vaši tagovi:
0
/
0
german, 2016
1
Idite na
ovaj link
ili potražite bota „@BotFather“ u Telegramu
2
Pošaljite komandu /newbot
3
Navedite ime za svog bota
4
Navedite korisničko ime za bota
5
Kopirajte poslednju poruku od BotFather i ubacite je ovde
×
×