TY  - BOOK
AU  - Berghammer,Rudolf
AU  - Lakhnech,Yassine
TI  - Tool support for system specification development and verification: advances in computing science 
SN  - 3211832823
AV  - QA76.9S88 T66
PY  - 1999///
CY  - Wien
PB  - Springer Verlag
KW  - Diseño de sistemas
KW  - Discursos, ensayos, conferencias
KW  - Programas para computadora
KW  - Verificación
KW  - Software para computadora
KW  - Desarrollo
ER  -