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)

$84.29

Save:$6.37 (7%)

Quantity

10 in stock

More Information

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

ISBN 10: 3540502416
ISBN 13: 9783540502418