Halsted Press. Used - Good. Ships from UK in 48 hours or less usually same day. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library so some stamps and wear but in good overall condition. 100% money back guarantee. We are a world class secondhand bookstore based in Hertfordshire United Kingdom and specialize in high quality textbooks across an enormous variety of subjects. We aim to provide a vast range of textbooks rare and collectible books at a great price. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. We provide a 100% money back guarantee and are dedicated to providing our customers with the highest standards of service in the bookselling industry. Halsted Press unknown
Bookseller reference : Z1-S-040-02472 ISBN : 0745801099 9780745801094
Paperback / softback. New. The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing ADC - Colloquium on Trees in Algebra and Programming CAAP - Colloquium on Combining Paradigms for Software Development CCPSD The proceedings are published in two volumes. paperback
Bookseller reference : B9783540539810 ISBN : 3540539816 9783540539810
Paperback / softback. New. - Application of discrete structures in computer science: syntax and semantics of programming languages operational semantics logic programming algorithms and data structures complexity of algorithms and implementation aspects proof techniques for nonnumerical algorithms formal specifications and visualization of structured objects. paperback
Bookseller reference : B9783540539827 ISBN : 3540539824 9783540539827
Paperback / softback. New. This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications TLCA 2001 held in Krakow Poland in May 2001. paperback
Bookseller reference : B9783540419600 ISBN : 3540419608 9783540419600