Enlarge

Computer science logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, proceedings

Publication Data

Title Computer science logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, proceedings
Contributor Luke Ong
Publisher Springer
Publication date 2005
Publication location Berlin
Language English

Topics

Computer logic :: Congresses

Catalogue Data

OBNB ID GBA572549
ISBN 10 3540282319
ISBN 13 9783540282310
Type BibliographicResource, Book
Dewey Classification 004.015113

ISBD

P1053 xi, 565 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Computer science logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, proceedings. ISBN 9783540282310. Published by Springer in 2005. Publication and catalogue information, links to buy online and reader comments.