00542nam a2200133Ia 4500008004100000020002200041041001200063100003800075245007000113260003200183440003800215650002100253650013400274231221s9999    xx            000 0 und d  a978-3-540-31980-1  aEnglish  aNicolas Halbwachs, Lenore D. Zuck 0aTools and Algorithms for the Construction and Analysis of Systems  c2005bSpringer USaNew York  aLecture Notes in Computer Science  aComputer Science  aLogics and Meanings of Programs; Software Engineering; Computer Communication Networks; Algorithm Analysis and Problem Complexity