Mostrando
1 - 2
Resultados de
2
Para Buscar '
Davies, Jim
'
Saltar al contenido
Login
Menu
0
elementos
(Completo)
Servicios para Alumnos
Servicios para Académicos
Recupera tu NIP
Mis Préstamos y Multas
Idioma
Inglés
Español
Francés
Galego
Términos de búsqueda
Todos los Campos
Título
Autor
Tema
Clasificación
ISBN/ISSN
Etiqueta
Buscar
Búsqueda Avanzada
Autor
Davies, Jim
Skip recommendations
Mostrando
1 - 2
Resultados de
2
Para Buscar '
Davies, Jim
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
Herramientas de búsqueda:
Suscríbete a esta búsqueda
1
Cargando…
Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers /
Publicado 2011
Otros Autores:
“…
Davies, Jim
…”
Clasificación:
Cargando…
Ubicación:
Cargando…
Texto Completo
Electrónico
eBook
Código QR
2
Cargando…
Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /
Publicado 2007
Otros Autores:
“…
Davies, Jim
…”
Clasificación:
Cargando…
Ubicación:
Cargando…
Texto Completo
Electrónico
eBook
Código QR
Temas relacionados
Compilers (Computer programs)
Compilers and Interpreters
Computer Science Logic and Foundations of Programming
Computer programming
Computer science
Programming Techniques
Software Engineering
Software engineering
Electronic data processing-Management
Formal Languages and Automata Theory
IT Operations
Machine theory
Theory of Computation