Imagen de Portada

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings /

Guardado en:
Autor Principal: Etessami, Kousha.
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Rajamani, Sriram K.
Formato: Electrónico
Idioma:English
Publicado: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
Series:Lecture Notes in Computer Science, 3576
Materias:
Computer science.
Logic design.
Software engineering.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Logic Design.
Acceso en línea:SpringerLink, via BECYT
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Recurso en línea
SpringerLink, via BECYT
BIB. MATEMATICA
Ubicación de la biblioteca
Volumen/Tomo: No especificado
Ejemplares: 1
Signatura:

Ejemplares similares