Sistemas concurrentes y propiedades de verificación de procesos
por Jozef Gruska · 1993
Ver sugerenciasciencia ficcionciencia de la computacionteoria de la concurrenciaverificacion formalsistemas distribuidos
Sinopsis
Un texto avanzado que aborda los fundamentos teóricos de los sistemas concurrentes, incluyendo modelos de procesos, lenguajes de descripción, y métodos formales para verificar sus propiedades y evitar errores.
ciencia ficcionciencia de la computacionteoria de la concurrenciaverificacion formalsistemas distribuidos
Sé el primero en valorar este libro.
Más de Jozef Gruska
Ver autor →Otras obras del mismo autor en el catálogo
Computational Complexity
1997
Introduction to Quantum Computing
1999
Quantum Computing - A Gentle Introduction
2001
Quantum Computation and Information Theory
2004
Quantum Algorithms and Their Applications
2005
Foundations of Quantum Mechanics: An Overview
2006
Classical and Quantum Computation
2008
Quantum Theory for Computer Science
2010
Quantum Mechanics and Quantum Computation
2011
Computing with Quantum States
2013
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.