The imperative future : principles of executable temporal logic

The imperative future principles of executable temporal logic

Detalles Bibliográficos
Otros Autores: Barringer, Howard, 1951- (-)
Formato: Libro
Idioma:Inglés
Publicado: Taunton [etc.] : Research Studies [etc.] 1996.
Colección:Advanced Software Development Series
Materias:
Software > estudios y conferencias.
Lenguajes de programación (Ordenadores) > estudios y conferencias.
Lógica simbólica > estudios y conferencias.
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991004880559703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo

Ejemplares similares

Ejemplares similares