Livros a comprar

Por favor indiquem o número de cópias e um link para a página respectiva na editora. E verifiquem se já existe na biblioteca!

• Kees Doets and Jan van Eijck, The Haskell Road to Logic, Maths and Programming.
• Michael Huth and Mark Ryan. Logic in Computer Science - Modelling and Reasoning about Systems (2nd Edition). Cambridge University Press. August 2004. ISBN: 052154310X. (1 ou 2 cópias)
• Benjamin C. Pierce. Advanced Topics in Types and Programming Languages. The MIT Press. December 2004. ISBN 0-262-16228-8. (1 cópia)
• Alfred Tarski and Steven Givant A Formalization of Set Theory without Variables . AMS Colloquium Publications, volume 41. ISBN: 0821810413, 1987. (1 cópia)
• Bjorner, D. Software Engineering 1: Abstraction and Modelling. Springer Verlag, 2005. (1 cópia)
• Bjorner, D. Software Engineering 2: Specification of Systems and Languages. Springer Verlag, 2005. (1 cópia)
• Bjorner, D. Software Engineering 3: Domains, Requirements, and Software Design. Springer Verlag, 2005. (1 cópia)
• Fitzgerald, J.S., Larsen, P.G., Mukherjee, P., Plat, N., Verhoef, M. Validated Designs for Object-oriented Systems. Springer Verlag, 2005. (1 cópia)
• Kung-Kiu Lau (ed). Component-Based Software Development. World Scientific (981-238-828-1), 2004. (1 cópia)
• Bruce, Kim. Foundations of Object-Oriented Languages: Types and Semantics. MIT Press, 2000 (1 cópia)
• Lawvere, W., Rosebrugh, R. Sets for Mathematics, CUP (ISBN 0521010608), 2003. (2 cópias)
• Derrick, J., Boiten, E. Refinement in Z and Object-Z: Foundations and Advanced Applications, Springer, 2001 (1 cópia)
• Howard Bowman, John Derrick (eds) Formal Methods for Distributed Processing, CUP (ISBN 0521771846), 2002 (1 cópia)
• LNCS 3407, Springer (1 copia)
• Proceedings of the Second International Conference on Software Engineering and Formal Methods, IEEE Press, 2004
• Roland Backhouse, Roy Crole and Jeremy Gibbons, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, LNCS 2297, Springer, 2002. (1 cópia)

Livros registados depois de 17 Maio:

• Paul Zeitz, The Art and Craft of Problem Solving, Wiley (ISBN 0-471-13571-2), 1999. (1 cópia)
• Jose Luiz Fiadeiro, Categories for Software Engineering, Springer, (ISBN 3540209093), 2004. (2 cópias)
• Kevin Lano, José Luiz Fiadeiro and Luis Andrade, Software Design Using Java 2, Palgrave Macmillan (ISBN 1403902305), 2002. (1 cópia)
• Krzysztof Czarnecki, Ulrich Eisenecker, Generative Programming - Methods, Tools, and Applications, Addison-Wesley, 2000 (1 copia)
• Ali Mili, Jules Desharnais and Fatma Mili, Program Construction: A Heuristic * Relational Approach, OUP, 1994 (1 cópia)
• Frühwirth, Thom, Abdennadher, Slim, Essentials of Constraint Programming, Springer, (ISBN: 3-540-67623-6), 2003. (1 cópia)

Criptografia:

• Oded Goldreich, The Foundations of Cryptography - Volume 1, Basic Tools, Cambridge University Press (ISBN 0-521-79172-3), 2001 (1 cópia)
• Oded Goldreich, The Foundations of Cryptography - Volume 2, Basic Applications, Cambridge University Press (ISBN 0-521-83084-2), 2004 (1 cópia)
• Nigel Smart, Cryptography, An Introduction, Mc Graw - Hill (ISBN 0077099877), 2002 (1 cópia)