00610nam a2200193 a 4500001001400000003000700014005001700021008004100038020001500079040000800094100003400102245007100136260003200207300003500239440004200274504005000316650002500366650002500391vtls000017917KUKTEM20251117144251.0070205                       000 0 eng d  a3540211497  aUMP1 aBjørner, D.q(Dines),d1937-1 aSoftware engineering 1 :babstracting and modelling /cD. Bjørner  aGermany :bSpringer ,c2006  axxxix, 711 p. :bill. ; 24 cm.  aTexts in theoretical computer science  aIncludes bibliographical references and index 0aSoftware engineering 0aComputer programming