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 c2008

Ver

Monografía

monografia Rebiun02117855 https://catalogo.rebiun.org/rebiun/record/Rebiun02117855 m d |acr nuu---uuuuu 081117s2008 gw m sb a111 0 eng d 2008929605 3540698493 3540698507 e-isbn) 9783540698494 9783540698500 e-isbn) UPVA 996894854603706 UAM 991007755463504211 UCAR 991008413786604213 CBUC 991010335359706706 UR0342910 GW5XE. eng. GW5XE. OSU. UtOrBLW. BUS 25 years of model checking Recurso electrónico] history, achievements, perspectives Orna Grumberg, Helmut Veith (eds.) Twenty five years of model checking Servicio en línea Berlin Springer c2008 Berlin Berlin Springer vi, 230 p. ill. 24 cm vi, 230 p. Lecture notes in computer science 0302-9743 5000 LNCS sublibrary: SL 1 - Theoretical computer science and general issues LNCS. Festschrift Libros electrónicos descargables Includes bibliographical references and index Sistemas informáticos- Verificación Grumberg, Orna Veith, Helmut Lecture notes in computer science (Servicio en línea) SpringerLink eBooks (Servicio en línea) Lecture notes in computer science. Festschrift LNCS sublibrary. SL 1 Theoretical computer science and general issues

• Localizaciones: 24
• 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/Rebiun02117855

Cerrar

monografia Rebiun02117855 https://catalogo.rebiun.org/rebiun/record/Rebiun02117855 m d |acr nuu---uuuuu 081117s2008 gw m sb a111 0 eng d 2008929605 3540698493 3540698507 e-isbn) 9783540698494 9783540698500 e-isbn) UPVA 996894854603706 UAM 991007755463504211 UCAR 991008413786604213 CBUC 991010335359706706 UR0342910 GW5XE. eng. GW5XE. OSU. UtOrBLW. BUS 25 years of model checking Recurso electrónico] history, achievements, perspectives Orna Grumberg, Helmut Veith (eds.) Twenty five years of model checking Servicio en línea Berlin Springer c2008 Berlin Berlin Springer vi, 230 p. ill. 24 cm vi, 230 p. Lecture notes in computer science 0302-9743 5000 LNCS sublibrary: SL 1 - Theoretical computer science and general issues LNCS. Festschrift Libros electrónicos descargables Includes bibliographical references and index Sistemas informáticos- Verificación Grumberg, Orna Veith, Helmut Lecture notes in computer science (Servicio en línea) SpringerLink eBooks (Servicio en línea) Lecture notes in computer science. Festschrift LNCS sublibrary. SL 1 Theoretical computer science and general issues