Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Language: | English |
| Published: |
Berlin ;
Springer-Verlag,
2003.
|
| Series: | Lecture notes in computer science (Springer).
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01298Cam#a2200277#a#4500 | ||
|---|---|---|---|
| 001 | 022132 | ||
| 005 | 20160721160141.0 | ||
| 008 | 101117s2003||||gw a |#b #101 0#eng d | ||
| 040 | |a DLC |d DLC | ||
| 082 | 0 | 4 | |a 005.1 |2 21 |
| 245 | 0 | 0 | |a Formal methods at the crossroads : |b from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers |c Bernhard K. Aichernig, Tom Maibaum (eds.). |
| 260 | |a Berlin ; |b Springer-Verlag, |c 2003. | ||
| 300 | |a xiv, 453 p. : |b il. ; |c 24 cm. | ||
| 504 | |a Incluye referencias bibliográficas e índice. | ||
| 594 | |a TECNICATURA EN PROGRAMACION INFORMATICA | ||
| 650 | 7 | |a Lenguajes de programación |2 spines | |
| 650 | 7 | |a Sistemas operativos |2 spines | |
| 650 | 7 | |a Ingeniería de sistemas |2 spines | |
| 650 | 7 | |a Programación de computadora |2 toit | |
| 700 | 1 | |a Aichernig, Bernhard K |d 1969- | |
| 700 | 1 | |a Maibaum, Thomas S E |d 1947- | |
| 710 | 2 | |a International Institute for Software Technology. | |
| 830 | 0 | |a Lecture notes in computer science (Springer). |n 2757 | |
| 929 | |a DONACION |b Tec. en Programación informática |d 0,00 |e 20101109 |f PAT0036212 |g 1678 Exp. 827-0387/98 |j 45670 | ||
| 942 | |c LIB |n 0 | ||
| 999 | |c 21410 |d 96797 | ||