CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings: 329 (Lecture Notes in Computer Science)

CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings: 329 (Lecture Notes in Computer Science)

by Egon B??rger (Author), Hans Kleine B??ning (Author), Michael M. Richter (Author)

$60.49

Save:$23.30 (28%)

Quantity

20+ in stock

More Information

Format: Paperback
Pages: 356
Edition: 1988
Publisher: Springer
Published: 13 Jun 2008

ISBN 10: 3540502416
ISBN 13: 9783540502418