Sistemas concurrentes y propiedades de verificación de procesos
por Jozef Gruska · 1993
ciencia 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.
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
sin portada
Quantum Algorithms and Their Applications
2005
sin portada
Foundations of Quantum Mechanics: An Overview
2006
Classical and Quantum Computation
2008
Quantum Theory for Computer Science
2010
Quantum Mechanics and Quantum Computation
2011
sin portada
Computing with Quantum States
2013
Libros similares
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.