estadounidense
Richard Waldinger fue un reconocido escritor y profesor estadounidense conocido por sus aportes a la literatura contemporánea y por su enfoque innovador en la narrativa. Es relevante por su capacidad para explorar temas complejos a través de su prosa reflexiva y creativa.
1993·divulgacion
Este libro explora la relación intrínseca entre la lógica matemática y la programación, mostrando cómo la lógica se puede usar para especificar, verificar y sintetizar programas. Aborda temas como la lógica de Hoare, la lógica temporal y la programación lógica.
Aparecen junto a Richard Waldinger en búsquedas del archivo
