|
|
|
|
| LEADER |
00659nam a2200205 4500 |
| 001 |
029297 |
| 003 |
arbauncb |
| 008 |
150429s1998 ag g 100 0 eng d |
| 005 |
20171018132425.0 |
| 040 |
|
|
|a AR-BaUNCB
|c AR-BaUNCB
|
| 245 |
1 |
0 |
|a Proceedings /
|c II International conference on formal engineering methods. Brisbane, 9-11/12/98.
|
| 260 |
|
|
|a Los Alamitos :
|b IEEE,
|c 1998
|
| 300 |
|
|
|a 235 p.
|c 27 cm
|
| 020 |
|
|
|a 0818691980
|
| 111 |
2 |
|
|a International conference on formal engineering methods
|n (2 :
|d 9-11/12/98 :
|c Brisbane)
|
| 082 |
0 |
4 |
|a 620
|
| 650 |
|
7 |
|a Ingeniería
|2 mpirdes
|
| 650 |
|
7 |
|a Computación
|2 mpirdes
|
| 653 |
|
|
|a Métodos formales
|
| 999 |
|
|
|c 29203
|d 29203
|