Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, ... Notes in Computer Science (4646), Band 4646)
von
Jacques Duparc
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-74914-1
ISBN-10: 3-540-74914-4
Springer
· 2007