Limitar la búsqueda a ejemplares disponibles



MAT. IMPRESO
Autor Srivas, Mandayam Kannappan

Título Automatic synthesis of implementations for abstract data types from algebraic specifications / by Mandayam Kannappan Srivas ; thesis supervisor John V. Guttag

Publicación Cambridge : Massachusetts Institute of Technology : Laboratory for Computer Science, 1982
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Informática/Sistemas  IS-ITEO 116    CONSULTAR DEPT  DISPONIBLE