Temporal Logic of Reactive and Concurrent Systems : Specification.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Manna, Zohar
Otros Autores: Pnueli, Amir
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York : Springer New York, 1992.
Edición:N.
Temas:
Computer programming.
Logic, Symbolic and mathematical.
Programmation (Informatique)
Logique symbolique et mathématique.
computer programming.
Computer programming
Logic, Symbolic and mathematical
Acceso en línea:Texto completo
Tabla de Contenidos:
  • The Temporal Logic of Reactive and Concurrent Systems; Copyright; Preface; Contents; Part I Models of Concurrency; Chapter 1 Basic Models; Chapter 2 Modeling Real Concurrency; Part II Specifications; Chapter 3 Temporal Logic; Chapter 4 Properties of Programs; References; Index to Symbols; General Index.

Ejemplares similares