Cover of Algebraic Methodology And Software Technology 13th International Conference Amast 2010 Lacbeauport Qc Canada June 2325 2010 Revised Selected Papers

Algebraic Methodology And Software Technology 13th International Conference Amast 2010 Lacbeauport Qc Canada June 2325 2010 Revised Selected Papers

Logic designSoftware engineeringComputer scienceArtificial intelligenceAbstract data types (computer science)Programming TechniquesMathematical Logic and Formal LanguagesProgramming Languages, Compilers, Interpreters

For young readers

Book data: Open Library