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

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares