Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024
O prikupljanju novca
pretraga knjiga
knjige
Prikupljanje sredstava:
69.2% dosegnuto
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
Verification of Reactive Systems: Formal Methods and Algorithms
Springer
Klaus Schneider
formula
formulas
automata
temporal
calculus
automaton
checking
logics
theorem
variables
equivalent
consider
function
lemma
ctl
fixpoint
operators
path
finite
figure
structures
define
kripke
systems
moreover
equation
prove
algorithm
verification
defined
sets
transition
induction
obtained
infinite
propositional
boolean
formal
acceptance
leftctl
complexity
equations
alternation
specification
linear
previous
decision
predicate
vertex
hierarchy
Godina:
2004
Jezik:
english
Fajl:
DJVU, 5.70 MB
Vaši tagovi:
0
/
0
english, 2004
2
Verification of Reactive Systems: Formal Methods and Algorithms
Springer
Klaus Schneider
formula
formulas
automata
temporal
automaton
checking
calculus
theorem
logics
variables
consider
equivalent
ctl
function
lemma
fixpoint
operators
path
finite
figure
structures
define
kripke
moreover
systems
equation
prove
algorithm
defined
verification
propositional
sets
transition
induction
obtained
infinite
boolean
formal
leftctl
acceptance
complexity
equations
suc
alternation
linear
specification
previous
decision
predicate
hierarchy
Godina:
2004
Jezik:
english
Fajl:
PDF, 20.41 MB
Vaši tagovi:
0
/
4.0
english, 2004
3
Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20–25 April
Springer US
Gerard Berry (auth.)
,
Carlos Delgado Kloos
,
Eduard Cerny (eds.)
systems
vhdl
specification
verification
figure
chart
input
formal
output
synthesis
variables
architecture
analysis
entry
ctl
processes
transition
models
implementation
defined
temporal
values
abstract
signal
algorithm
path
event
events
operators
timing
simulation
operations
function
signals
transaction
abstraction
transitions
operation
target
component
components
finite
shared
methods
protocol
approach
entries
modelling
asynchronous
formula
Godina:
1997
Jezik:
english
Fajl:
PDF, 12.07 MB
Vaši tagovi:
0
/
0
english, 1997
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
×
×