00722nam a2200253 a 4500 AR-ReUNN 20260702155937.0 260701s1988 bl |||||||||||||||||por por Teixeira Mendes, Sueli Bandeira 205358 Aguiar, Teresa Cristina de 205359 Métodos para especificaçao de sistemas Campinas Escola Brasileiro-Argentina de Informatica 1988 288 páginas Informatica 274 Sistemas 16756 Especificaciones 205360 Semiformales 205361 Algebraica 205362 Modelos 9559 LIB (EXA)19361 271817 0 0 0 1 EXA EXA GEN 2004-10-27 0 681.3 T266 ej.1 10.10-008563 LIB 0 0 0 0 EXA EXA GEN 2004-10-27 0 681.3 T266 ej.2 10.10-010550 LIB 271817 271817 AR-ReUNN spa AR-ReUNN aacr2 0 0 0 1 EXA EXA GEN 2004-10-27 0 681.3 T266 ej.1 10.10-008563 LIB 0 0 0 0 EXA EXA GEN 2004-10-27 0 681.3 T266 ej.2 10.10-010550 LIB