Frank S. de Boer

holandés

Frank S. de Boer es un prominente escritor y académico holandés, conocido por sus contribuciones en el campo de la filosofía y la teoría de la computación. Su relevancia en la literatura viene de sus trabajos que conectan el pensamiento filosófico con las ciencias informáticas.

Obras en el archivo

16 títulos

The Foundations of Computer Science

1994

From Abstract Structures to Concrete Computations

1995

Causality and Computation

1996

Computability and Complexity

1997

Este libro ofrece una introducción a los conceptos de computabilidad y complejidad, explorando sus fundamentos teóricos y sus aplicaciones en la informática moderna.

Contributions to Algebra and Geometry

1998

The Logic of Computational Complexity

2000

Philosophy and Computing

2002

Logical Foundations of Computer Science

2005

Theory of Computation

2007

Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

2007·no ficcion

Esta colección de ponencias explora la aplicación de métodos formales para el desarrollo y verificación de componentes y objetos software. Aborda temas como la concurrencia, la modularidad y la semántica de la composición.