Specification and Verification of Multi-Agent Systems
por Frank S. de Boer · 2003
Sinopsis
Un estudio que aborda cómo especificar y verificar propiedades de comportamiento en sistemas multiagente complejos, utilizando técnicas lógicas y formales para garantizar que operen como se espera.
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
Formal Methods for Components and Objects
2002
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
Computational Models of Cognition
2009
Philosophical Issues in the Theory of Computation
2011
Mind and Machines
2013
Computational Philosophy
2015
Libros similares
Libros relacionados según distintos criterios de búsqueda