00603nam a2200133Ia 4500008004100000020002200041041001200063100003800075245003400113260003200147440003800179650002100217650023100238231221s9999    xx            000 0 und d  a978-3-319-03545-1  aEnglish  aGeorges Gonthier, Michael Norrish 0aCertified Programs and Proofs  c2013bSpringer USaNew York  aLecture Notes in Computer Science  aComputer Science  aLogics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Symbolic and Algebraic Manipulation; Artificial Intelligence (incl. Robotics); Computer Science, general