Temporal logic
Computer programmingSymbolic and mathematical LogicElectronic digital computers, programmingLogic, symbolic and mathematical
ISBN
354058241X
Temporal logic es un computer programming, symbolic and mathematical logic book de Dov M. Gabbay.
Descubre Temporal logic de Dov M. Gabbay, computer programming.
Sobre el Autor
Dov M. Gabbay es el autor de Temporal logic. Explora su catálogo completo en Booklogr.
Ediciones y Formatos
Reseñas
Sin reseñas aún. ¿Has leído este libro? Comparte tus opiniones con la comunidad de Booklogr.
Iniciar sesión Inicia sesión para escribir una reseña
Preguntas Frecuentes
¿De qué género es Temporal logic?+
Temporal logic es un libro de Computer programming, Symbolic and mathematical Logic, Electronic digital computers, programming, Logic, symbolic and mathematical.
¿Quién escribió Temporal logic?+
Temporal logic fue escrito por Dov M. Gabbay.