|
|
|
|
| LEADER |
01215Cam#a22002894a#4500 |
| 001 |
023807 |
| 005 |
20160721160750.0 |
| 008 |
120607s2003||||gw a |#b #101 0#eng d |
| 020 |
|
|
|a 3540008985
|
| 040 |
|
|
|a DLC
|d DLC
|
| 082 |
0 |
4 |
|a 005.1
|2 21
|
| 111 |
2 |
|
|a TACAS 2003
|c Warsaw, Poland)
|d (2003 :
|
| 245 |
0 |
2 |
|a Tools and algorithms for the construction and analysis of systems :
|b 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
|c Hubert Garavel, John Hatcliff (eds.).
|
| 260 |
|
|
|a Berlin ;
|b Springer,
|c c2003.
|
| 300 |
|
|
|a xvi, 604 p. :
|b il. ;
|c 24 cm.
|
| 490 |
1 |
|
|a Lecture notes in computer science,
|
| 500 |
|
|
|a Incluye índice.
|
| 650 |
|
7 |
|a Análisis de sistemas
|2 spines
|
| 650 |
|
7 |
|a Algoritmo
|2 spines
|
| 650 |
|
7 |
|a Cálculo (Matemáticas)
|
| 700 |
1 |
|
|a Garavel, Hubert,
|d 1963-
|
| 700 |
1 |
|
|a Hatcliff, John,
|d 1966-
|
| 711 |
2 |
|
|a ETAPS 2003
|c Warsaw, Poland)
|d (2003 :
|
| 830 |
|
0 |
|a Lecture notes in computer science (Springer). ;
|v 2619
|
| 929 |
|
|
|a DONACION
|b Eduardo Borelli
|d 0
|e 20110210
|f PAT0037064
|g 1727 Exp. 827-0387/98
|j 47696
|
| 942 |
|
|
|c LIB
|n 0
|
| 999 |
|
|
|c 22447
|d 97834
|