Alex E’s last login was Tuesday, September 15 2009. « hide recent activity
Alex E is planning to read Program Construction: Calculating Implementations from Specifications.
Alex E is planning to read Verification : theory and practice : essays delivered to Zohar Manna on the occasion of his 64th birthday.
Alex E is planning to read Transactional Memory (Synthesis Lectures on Computer Architecture).
Alex E is planning to read The Objective Caml Programming Language.
Alex E added The Objective Caml Programming Language.
Alex E is planning to read A Concise Introduction to Software Engineering (Undergraduate Topics in Computer Science).
Alex E is planning to read Learn Prolog Now!.
Alex E is planning to read Clause and Effect: PROLOG Programming for the Working Programmer.
Alex E is planning to read Virtual Machines.
Alex E is planning to read Design Concepts in Programming Languages.
Alex E’s last login was Tuesday, September 15 2009. show recent activity »
hello