• Libros
  • Abstraction, Refinement and Proof for Probabilistic Systems
Abstraction, Refinement and Proof for Probabilistic Systems
Morgan, Charles Carroll
Inglés
EAN
9780387401157
Editorial
Año de edición
2004
Idioma
Inglés
Colección
Monographs in Computer Science
Alto
235
Ancho
155
Otros lectores lo han calificado con
Déjanos tu opinión
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres