00584nam a2200133Ia 4500008004100000020002200041041001200063100003900075245003200114260003200146440003800178650002100216650021300237231221s9999    xx            000 0 und d  a978-3-642-22110-1  aEnglish  aGanesh Gopalakrishnan, Shaz Qadeer 0aComputer Aided Verification  c2011bSpringer USaNew York  aLecture Notes in Computer Science  aComputer Science  aLogics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Programming Techniques; Artificial Intelligence (incl. Robotics)