skip to main content
Idioma:
Refinado por: autor: CAV (Conference) eliminar autor: Sistla, A eliminar
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computer aided verification 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings
Computer aided verification 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings
Material Type:
Libro 		Añadir a Mi Portal

Computer aided verification 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings

CAV (Conference) (2000 Chicago, Ill) E. Allen Emerson; Aravinda Prasad Sistla

Berlin London Springer c2000

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1855 ) y otras localizaciones(Obténgalo)

Personalizar los resultados

  1. Editar

Refine Search Results

Nuevas sugerencias de búsqueda

Ignorar mi consulta y buscar por todo

por este autor/creador:

  1. CAV (Conference)
  2. Sistla, A
  3. Emerson, E

con este tema:

  1. Integrated Circuits
  2. Computer Software
  3. Engenharia De Software

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere