00613nam a2200193 a 4500001001400000003000700014005001700021008004100038020001800079040000800097245011700105260003200222300003600254504004000290650003800330700001500368700001700383700001900400vtls000069423KUKTEM20251125093551.0130425t2010    nyua   g b    001 0 eng d  a9781848827356  aUMP00aFormal methods :bstate of the art and new directions /cPaul Boca, Jonathan P. Bowen, Jawed I. Siddiqi, editors  aNew York :bSpringer,c2010  axxiii, 273 p. :bill. ;c24 cm.  aIncludes bibliographical references 0aFormal methods (Computer science)1 aBoca, Paul1 aBowen, J. P.1 aSiddiqi, J. I.