Vista normal
Vista MARC
- Glässer, Uwe.
Glässer, Uwe. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)301353: Abrial, Jean-Raymond. editor. 339154, Rigorous Methods for Software Construction and Analysis :
TEST - Catálogo BURRF
