by Alexander Leitsch (Author), Alexander Leitsch (Author), Tobias Nipkow (Author), Rajeev Gore (Author)
Format: Paperback
Pages: 728
Edition: 2001
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540422544
ISBN 13: 9783540422549