Vista normal
Vista MARC
- Holzmann, Gerard J.
Holzmann, Gerard J. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)302350: Bobaru, Mihaela. editor. 340589, NASA Formal Methods :
TEST - Catálogo BURRF
| |
TEST - Catálogo BURRF |
|
|---|
Machine generated authority record.
Work cat.: (MX-SnUAN)302350: Bobaru, Mihaela. editor. 340589, NASA Formal Methods :