Vista normal
Vista MARC
- Oliveira, José Nuno.
Oliveira, José Nuno. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)300776: Gibbons, Jeremy. editor. 332921, Teaching Formal Methods :
TEST - Catálogo BURRF
| |
TEST - Catálogo BURRF |
|
|---|
Machine generated authority record.
Work cat.: (MX-SnUAN)300776: Gibbons, Jeremy. editor. 332921, Teaching Formal Methods :