• Libros
  • Abstraction, Refinement and Proof for Probabilistic Systems
Abstraction, Refinement and Proof for Probabilistic Systems
Morgan, Charles Carroll
Anglès
EAN
9780387401157
Editorial
Any d'edició
2004
Idioma
Anglès
Col·lecció
Monographs in Computer Science
Alt
235
Ample
155
Otros lectores lo han calificado con
Deixa’ns la teva opinió
0 opinions
Tu puntuación
Déjanos tu opinión
/ caracteres