Tools and algorithms for the construction and analysis of systems : 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
Saved in:
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Language: | English |
| Published: |
Berlin ;
Springer,
c2003.
|
| Series: | Lecture notes in computer science (Springer). ;
2619 |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| 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 | ||