00598nam a2200133Ia 4500008004100000020002200041041001200063100003800075245003400113260003200147440003800179650002100217650022600238231221s9999    xx            000 0 und d  a978-3-642-25379-9  aEnglish  aJean-Pierre Jouannaud, Zhong Shao 0aCertified Programs and Proofs  c2011bSpringer 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; Software Engineering; Artificial Intelligence (incl. Robotics)