Temporal logic of programs

Detalles Bibliográficos
Autor principal: Kröger, Fred, 1945- (-)
Formato: Libro
Idioma:Inglés
Publicado: Berlin [etc.] : Springer 1987.
Colección:EATCS Monographs on Theoretical Computer Science ; 8
Materias:
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991000166629703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo

Ejemplares similares