Descripción del título
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 (326457) 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)