1
Model Checking (Cyber Physical Systems Series)

Model Checking (Cyber Physical Systems Series)

Έτος:
2018
Γλώσσα:
english
Αρχείο:
EPUB, 15.52 MB
0 / 5.0
english, 2018
2
Model Checking

Model Checking

Έτος:
2018
Γλώσσα:
english
Αρχείο:
EPUB, 13.56 MB
0 / 0
english, 2018
3
25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives

Έτος:
2008
Γλώσσα:
english
Αρχείο:
PDF, 41.36 MB
0 / 0
english, 2008
7
25 Years of Model Checking History, Achievements, Perspectives

25 Years of Model Checking History, Achievements, Perspectives

Έτος:
2008
Γλώσσα:
english
Αρχείο:
PDF, 42.39 MB
0 / 5.0
english, 2008
9
Handbook of Model Checking

Handbook of Model Checking

Έτος:
2018
Γλώσσα:
english
Αρχείο:
PDF, 10.90 MB
5.0 / 5.0
english, 2018
10
Handbook of model checking

Handbook of model checking

Έτος:
2018
Γλώσσα:
english
Αρχείο:
PDF, 7.97 MB
0 / 0
english, 2018
11
25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives

Έτος:
2008
Γλώσσα:
english
Αρχείο:
DJVU, 4.00 MB
0 / 0
english, 2008