Mostrando
1 - 2
Resultados de
2
Para Buscar '
Cousot, Radhia
'
Saltar al contenido
Catálogo Colectivo de Bibliotecas Eclesiásticas de España
Catálogo Colectivo de Bibliotecas Eclesiásticas de España
Idioma
English
Español
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Inicio
Autor
Cousot, Radhia
Mostrando
1 - 2
Resultados de
2
Para Buscar '
Cousot, Radhia
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Verification, model checking, and abstract interpretation 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings
Publicado 2005
Otros Autores:
“…
Cousot
,
Radhia
…”
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro electrónico
Cargando…
2
Static Analysis 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
por
International Static Analysis Symposium
Publicado 2003
Otros Autores:
“…
Cousot
,
Radhia
. editor…”
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Libro electrónico
Cargando…
Herramientas de búsqueda:
RSS
–
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Computer Science, general
Computer logic
Computer programming
Computer programs
Computer science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical logic
Programming Languages, Compilers, Interpreters
Programming Techniques
Programming languages (Electronic computers)
Software Engineering
Software engineering
Verification