Vista normal
Vista MARC
- Nipkow, Tobias.
Nipkow, Tobias. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)296688: Misra, Jayadev. editor. 331950, FM 2006: Formal Methods :
TEST - Catálogo BURRF
| |
TEST - Catálogo BURRF |
|
|---|
Machine generated authority record.
Work cat.: (MX-SnUAN)296688: Misra, Jayadev. editor. 331950, FM 2006: Formal Methods :