Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
por Frank S. de Boer · 2007
no ficcionmetodos formalesprogramacion orientada a objetosverificacion de softwaresemantica de lenguajes
Sinopsis
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.
Sé el primero en valorar este libro.
Más de Frank S. de Boer
Ver autor →Otras obras del mismo autor en el catálogo
The Foundations of Computer Science
1994
From Abstract Structures to Concrete Computations
1995
Causality and Computation
1996
Computability and Complexity
1997
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
Computational Models of Cognition
2009
Philosophical Issues in the Theory of Computation
2011
Mind and Machines
2013
Computational Philosophy
2015
The Philosophy of Robotics
2017
Cognitive Systems and the Philosophy of Mind
2020
Libros similares
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.