Dynamic logic /

Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be descri...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Harel, David, 1950-
Otros Autores: Kozen, Dexter, 1951-, Tiuryn, Jerzy
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge, Mass. : MIT Press, 2000.
Colección:Foundations of computing.
Temas:
Computer logic.
Formal methods (Computer science)
Logique informatique.
Méthodes formelles (Informatique)
COMPUTERS > Reference.
COMPUTERS > Machine Theory.
COMPUTERS > Computer Literacy.
COMPUTERS > Information Technology.
COMPUTERS > Data Processing.
COMPUTERS > Computer Science.
COMPUTERS > Hardware > General.
Computer logic
COMPUTER SCIENCE/Theoretical Computer Science
Acceso en línea:Texto completo

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares