Vista normal
Vista MARC
- Abrial, Jean-Raymond.
Abrial, Jean-Raymond. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)301353: Abrial, Jean-Raymond. editor., Rigorous Methods for Software Construction and Analysis :