Vista normal
Vista MARC
- Steffen, Martin.
Steffen, Martin. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)295332: Steffen, Martin. editor., Formal Methods for Open Object-Based Distributed Systems :
TEST - Catálogo BURRF |
---|
Machine generated authority record.
Work cat.: (MX-SnUAN)295332: Steffen, Martin. editor., Formal Methods for Open Object-Based Distributed Systems :