Model checking

Guardado en:
Detalles Bibliográficos
Autor principal: Clarke, Edmund M., Jr
Otros Autores: Grumberg, Orna, Peled, Doron A.
Formato: Libro
Lenguaje:Inglés
Publicado: Massachusetts : MIT Press, 1999.
Materias:
Aporte de:Registro referencial: Solicitar el recurso aquí
LEADER 00810nam a22003130a 4500
001 PT9219
003 AR-LpoUNG
005 20210131232346.0
008 191001s1999||||xxu|||||||||||||||||eng d
020 |a 0262032708  |c $75 
040 |a AR-LpoUNG  |b spa  |c AR-LpoUNG  |e aacr 
041 |a eng 
044 |a xxu 
082 0 |a 004.2 592mod 
100 1 |a Clarke, Edmund M., Jr. 
245 1 0 |a Model checking 
260 |a Massachusetts :   |b MIT Press,   |c 1999. 
300 |a xiv, 314 p. :  |b gráfs. 
650 4 |a ANALISIS DE SISTEMAS 
650 4 |a AUTOMATIZACION 
650 4 |a COMPUTACION 
650 4 |a INFORMATICA 
650 4 |a PROGRAMAS DE COMPUTADORA 
651 4 |a DOCUMENTOS TEORICOS O METODOLOGICOS 
700 1 |a Grumberg, Orna 
700 1 |a Peled, Doron A. 
905 |a 9219 
942 |c LIB 
999 |c 15154  |d 15154