Cargando…

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 mathé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.