Descripción del título
25 years of model checking ...
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 991005191723006711 CBUC 991003700596006714 CBUC 991004008868106713 CBUC 991000918831906712 CBUC 991010869823006709 CBUC 991010335359706706 CBUC 991008732039706708 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