|
|
|
|
| LEADER |
01441nam a22002895a 4500 |
| 001 |
27078 |
| 003 |
AR-SrUBC |
| 005 |
20210617170743.0 |
| 007 |
t||||||||||||| |
| 008 |
041201m||||||||bl #||||r|||||||||||por|| |
| 040 |
|
|
|a AR-SrUBC
|b por
|e rcaa2
|
| 080 |
|
|
|a 004.45=690
|2 2000 ES
|
| 100 |
1 |
|
|a Mendes, Sueli Bandeira Teixeira.
|9 52559
|
| 245 |
1 |
0 |
|a Métodos para especificaçao de sistemas.
|c Sueli Bandeira Teixeira Mendes, Teresa Cristina de Aguiar.
|
| 260 |
|
|
|a Curitiba, Bra. :
|b A. Dias,
|c 1988.
|
| 300 |
|
|
|a 288 p. ;
|c 22 cm.
|
| 336 |
|
|
|a texto
|2 rdacontent
|
| 337 |
|
|
|a sin mediación
|2 rdamedia
|
| 338 |
|
|
|a volumen
|2 rdacarrier
|
| 490 |
|
0 |
|a Coleçao de livros-textos / EBAI
|
| 505 |
0 |
0 |
|a Contenido: Introduçao -- Sistema-exemplo -- Especificaçoes semi-formais -- Especificaçao algébrica -- Especificaçao baseada en modelos -- Especificaçao de sistemas concorrentes usando o modelo operacional -- Descriçao sucinta de alguns métodos que utilizam linguagens semi-formais de especificaçao -- Descriçao sucinta de alguns métodos formais de especificaçao -- Especificaçao de sistemas -- Sistemas formais.
|
| 650 |
|
7 |
|a SISTEMAS OPERACIONALES (COMPUTADORES)
|2 lemb3
|9 52560
|
| 650 |
|
7 |
|a MODELOS MATEMATICOS
|2 lemb3
|9 2728
|
| 650 |
|
7 |
|a INTELIGENCIA ARTIFICIAL
|2 lemb3
|9 2548
|
| 700 |
1 |
|
|a Aguiar, Teresa Cristina de
|9 52561
|
| 942 |
|
|
|2 cdu
|b 2004-12-01
|c BK
|d 029211
|h 004.45=690
|i MENm
|z CT
|6 00445690_MENM
|
| 999 |
|
|
|c 27078
|d 27078
|