|
|
|
|
| LEADER |
01029nam a2200205 a 4500 |
| 001 |
000194188 |
| 005 |
20101214100920.0 |
| 008 |
101117s2003 nyu r 000 0 eng d |
| 020 |
|
|
|a 3540200835
|
| 040 |
|
|
|a Sistema de Bibliotecas de la Universidad Nacional de Costa Rica
|
| 082 |
0 |
4 |
|a 005.3
|b I-61f
|2 21
|
| 111 |
2 |
|
|a International School on Formal Methods for the Design of Computer, Communication and Software Systems
|n (3rd :
|d 2003 sep. 22-27 :
|c Bertinoro, Italy)
|
| 245 |
1 |
0 |
|a Formal methods for software architectures :
|b Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures /
|c Marco Bernardo, Paola Inverardi (eds.).
|
| 260 |
|
|
|a New York :
|b Springer,
|c 2003.
|
| 300 |
|
|
|a volúmenes, 285 páginas :
|b ilustraciones ;
|c 24 cm.
|
| 650 |
0 |
4 |
|a CONFERENCIAS
|
| 650 |
0 |
4 |
|a PROGRAMAS COMPUTACIONALES
|
| 650 |
0 |
4 |
|a ARQUITECTURA DEL COMPUTADOR
|
| 700 |
1 |
|
|a Bernardo, Marco
|
| 700 |
1 |
|
|a Inverardi, Paola
|