Alkuperäiskieli | Englanti |
---|---|
Kustantaja | Springer |
Vuosikerta | 2335 |
ISBN (elektroninen) | 3-540-43703-7 |
ISBN (painettu) | 3-540-43703-7 |
DOI - pysyväislinkit | |
Tila | Julkaistu - 2002 |
Julkaistu ulkoisesti | Kyllä |
OKM-julkaisutyyppi | C2 Toimitettu teos |
Tapahtuma | Integrated Formal Methods - Hamburger Börse hotel, Turku, Finland Kesto: 15 toukok. 2002 → 18 toukok. 2002 Konferenssinumero: 3 |
Julkaisusarja
Nimi | Lecture Notes in Computer Science |
---|---|
Vuosikerta | 2335 |