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
Descripción
Descripción Física:1 online resource (431 pages)
ISBN:9781461209317
1461209315

Ejemplares similares