Monin, Jean, François
Understanding formal methods/ Jean-François Monin - London: Springer 2003 - 275 p.
Incluye bibliografía e índice p. 255
1852332476
LOGICA MATEMATICA
LOGICA SIMBOLICA
005.131 / M654u
Understanding formal methods/ Jean-François Monin - London: Springer 2003 - 275 p.
Incluye bibliografía e índice p. 255
1852332476
LOGICA MATEMATICA
LOGICA SIMBOLICA
005.131 / M654u