Descripción
Autor: Robert P. Kurshan
Editorial: Springer
Publicado: 01/10/2021
Páginas: 366
Tipo de encuadernación: Tapa blanda
Peso: 1.19lbs
Tamaño: 9.21h x 6.14w x 0.80d
ISBN13: 9783030767082
ISBN10: 3030767086
Categorías BISAC:
- Negocios y Economía | Industrias | Servicios financieros
- Negocios y Economía | Seguros | Evaluación y gestión de riesgos
- Negocios y Economía | Inversiones y Valores | General
Sobre el autor
Robert P. Kurshan fue miembro distinguido del personal técnico en investigación matemática en Bell Laboratories Research, Murray Hill, Nueva Jersey (EE. UU.), hasta su jubilación en 2001. Después de eso, ocupó un puesto como Senior Fellow en Cadence Design Systems, jubilándose en 2015.
Trabajó en Bell Labs desde que recibió su doctorado en matemáticas en 1968, de la Universidad de Washington (EE. UU.) en álgebra homológica. Es autor de más de 80 publicaciones técnicas, posee 27 patentes en comunicaciones, filtrado digital y verificación, y es autor del libro Computer-Aided Verification of Coordinating Processes (Princeton Univ. Press, 1994), que se basa en un curso que impartió en la U. C. Berkeley. Ha editado numerosos otros libros. De 2005 a 2014, fue Editor en Jefe de la revista Formal Methods in System Design de Springer.

