कीवर्ड के लिए खोज

  • Main
  • कीवर्ड के लिए खोज
3
Tools and Algorithms for the Construction and Analysis of Systems. 17th International Conference, TACAS 2011 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 Saarbrücken, Germany, March 26–April 3, 2011 Proceed

Tools and Algorithms for the Construction and Analysis of Systems. 17th International Conference, TACAS 2011 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 Saarbrücken, Germany, March 26–April 3, 2011 Proceed

Parosh Aziz Abdulla (ed.), K. Rustan M. Leino (ed.)
transition
algorithm
transitions
systems
probabilistic
checking
variables
springer
heidelberg
function
verification
abstract
lncs
programs
analysis
invariant
invariants
execution
abstraction
approach
solution
techniques
input
termination
memory
search
automata
probability
technique
formula
atomic
repair
algorithms
concurrent
constraints
error
method
protocol
processes
theorem
linear
sequential
correct
predicates
consider
boolean
first
models
reduction
partial
साल:
2013
भाषा:
english
फ़ाइल:
PDF, 5.05 MB
0 / 5.0
english, 2013
4
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
transition
algorithm
transitions
systems
probabilistic
checking
variables
verification
springer
heidelberg
function
abstract
lncs
programs
analysis
invariant
invariants
execution
abstraction
approach
solution
techniques
input
termination
memory
search
automata
probability
technique
formula
atomic
repair
algorithms
concurrent
definition
constraints
error
method
protocol
processes
theorem
linear
sequential
correct
predicates
consider
boolean
first
models
reduction
साल:
2011
भाषा:
english
फ़ाइल:
PDF, 6.13 MB
0 / 0
english, 2011
5
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
transition
algorithm
transitions
systems
probabilistic
checking
variables
springer
heidelberg
function
verification
abstract
lncs
programs
analysis
invariant
invariants
execution
abstraction
approach
solution
techniques
input
termination
memory
search
automata
probability
technique
formula
atomic
repair
algorithms
concurrent
constraints
error
method
protocol
processes
theorem
linear
sequential
correct
predicates
consider
boolean
first
models
reduction
partial
साल:
2011
भाषा:
english
फ़ाइल:
PDF, 5.68 MB
0 / 0
english, 2011
6
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
transition
algorithm
transitions
systems
probabilistic
checking
variables
springer
heidelberg
function
verification
abstract
lncs
programs
analysis
invariant
invariants
execution
abstraction
approach
solution
techniques
input
termination
memory
search
automata
probability
technique
formula
atomic
repair
algorithms
concurrent
constraints
error
method
protocol
processes
theorem
linear
sequential
correct
predicates
consider
boolean
first
models
reduction
partial
साल:
2011
भाषा:
english
फ़ाइल:
PDF, 5.05 MB
0 / 0
english, 2011
16
汽车行驶记录仪 VDR3202操作指南

汽车行驶记录仪 VDR3202操作指南

vdr
cote
mca
驶
驾
rs232
hh:mm
录
印
usb
cmd
ucla
arr
bbe
bes
cla
eere
fea
fre
rrr
sce
vdr3202
vdrdms
疲
载
beit
bgr
bie
edl
fpr
srr
aras
cadp
lcd
ray
rea
shs
vcc
साल:
2011
भाषा:
chinese
फ़ाइल:
PDF, 9.01 MB
0 / 0
chinese, 2011