Sistema Bibliotecario de la Universidad de Quintana Roo

Su carrito está vacío

Vista normal Vista MARC

MarchȨ, Claude. editor. (Nombre personal)

Número de registros utilizados en: 1
Forma preferida: MarchȨ, Claude. editor.

Machine generated authority record.

Work cat.: (UQROO)69169: Beckert, Bernhard. editor. 173599, Formal Verification of Object-Oriented Software