REBIUN - ODA

Descripción del título

25 years of model checking ...

25 years of model checking [history, achievements, perspectives

Grumberg, Orna,

Veith, Helmut,

Springer cop. 2008

Ver

Libros electrónicos

Monografía

monografia Rebiun04052668 https://catalogo.rebiun.org/rebiun/record/Rebiun04052668 080916s2008 gw 000 0 eng c 9783540698494 UPNA0454966 UR0292668 UPVA 990003549630203706 CBUC 991011731909706706 UIB (326728) UMA.EIN 004.415.5 25 years of model checking Recurso electrónico]:] history, achievements, perspectives Orna Grumberg, Helmut Veith, editors Servicio en línea Berlin Springer cop. 2008 Berlin Berlin Springer VI, 230 p. 24 cm VI, 230 p. Lecture notes in computer science 5000 Acceso restringido a miembros del Consorcio de Bibliotecas Universitarias de Andalucía Disponible versión electrónica e impresa Springer (cs) Programas de ordenadores- Verificación Libros electrónicos Grumberg, Orna ed Veith, Helmut ed Lecture notes in computer science (Servicio en línea)

• Localizaciones: 9
• Préstamo interbibliotecario

• Exportar
  • Dublin Core
  • Google scholar
  • RIS
  • RefWorks
• Favorito
• Compartir

Información Sólo puedes introducir una dirección de email ×

Introduce un email para compartir el título

Email Pon el email de la persona con la que deseas compartir este contenido

Error .alert.alert-info

Cerrar Compartir por email

Información Haz clic en el cuadro de texto para seleccionar el contenido y copiarlo al portapapeles

Enlace permanente https://catalogo.rebiun.org/rebiun/record/Rebiun04052668

Cerrar

monografia Rebiun04052668 https://catalogo.rebiun.org/rebiun/record/Rebiun04052668 080916s2008 gw 000 0 eng c 9783540698494 UPNA0454966 UR0292668 UPVA 990003549630203706 CBUC 991011731909706706 UIB (326728) UMA.EIN 004.415.5 25 years of model checking Recurso electrónico]:] history, achievements, perspectives Orna Grumberg, Helmut Veith, editors Servicio en línea Berlin Springer cop. 2008 Berlin Berlin Springer VI, 230 p. 24 cm VI, 230 p. Lecture notes in computer science 5000 Acceso restringido a miembros del Consorcio de Bibliotecas Universitarias de Andalucía Disponible versión electrónica e impresa Springer (cs) Programas de ordenadores- Verificación Libros electrónicos Grumberg, Orna ed Veith, Helmut ed Lecture notes in computer science (Servicio en línea)