Abstraction, Refinement and Proof for Probabilistic Systems

Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional distribution applications, and allow quantification of risk and safety in general. This makes operational models of...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: McIver, Annabelle (Autor), Morgan, Charles Carroll (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer New York : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Monographs in Computer Science,
Temas:
Software engineering.
Probabilities.
Computer programming.
Computer science.
Compilers (Computer programs).
Machine theory.
Software Engineering.
Probability Theory.
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares