3
Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

Rok:
2004
Język:
english
Plik:
PDF, 2.46 MB
0 / 0
english, 2004
5
Programming methodology

Programming methodology

Rok:
2003
Język:
english
Plik:
DJVU, 3.55 MB
0 / 4.5
english, 2003
7
Programming Methodology

Programming Methodology

Rok:
2003
Język:
english
Plik:
PDF, 11.96 MB
0 / 0
english, 2003
8
Abstraction, refinement and proof for probabilistic systems

Abstraction, refinement and proof for probabilistic systems

Rok:
2005
Język:
english
Plik:
PDF, 1.72 MB
0 / 0
english, 2005