estadounidense
Helena N. P. J. K. Geisel, conocida como la esposa del famoso autor Dr. Seuss, fue una influente figura en el desarrollo de sus obras, aportando ideas y apoyo creativo. Su colaboración fue fundamental para el éxito de su carrera literaria, especialmente en los libros para niños.
2003·divulgacion
Este libro, que rara vez aparece en las listas de referencia anglosajonas, se enfoca en la aplicación de métodos formales para el diseño y verificación de sistemas complejos, con un énfasis en la corrección y la confiabilidad.
Aparecen junto a Helena N. P. J. K. Geisel en búsquedas del archivo
