TY - BOOK AU - Grosse-Rhode,Martin TI - Semantic integration of heterogeneous software specifications SN - 3540402578 AV - QA 76.76.D47 G79.2004 U1 - 005 22 PY - 2004/// CY - Berlin, New York PB - Springer-Verlag KW - Software de computadora KW - Development KW - Desarrollo KW - Specifications KW - Especificaciones KW - Computer science KW - Computación N1 - Incluye referencias bibliográficas (p. [311]-324) e índice ER -