
Computer Science Logic
- Alaotsikko
- 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers
- Toimittaja
- Mogens Nielsen, Wolfgang Thomas
- Painos
- 1998 ed.
- ISBN
- 9783540645702
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 20.5.1998
- Sivumäärä
- 520