Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers (Lecture Notes in Computer Science (1414), Band 1414)
von:
Mogens Nielsen
·
Wolfgang Thomas
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-64570-2
ISBN-10: 3-540-64570-5
Springer
· 2008
