01477nam a2200385Ia 4500001001000000003000700010005001700017006001900034007001500053008004100068020003600109020002700145035002200172035002300194035002500217035002200242035002100264040004100285050002600326082001900352100002600371245010800397260006000505300001600565504005100581590014700632650004000779650005200819655002900871700002800900710002800928797002000956856009600976999001901072EBC282069MiAaPQ20250821101505.0m     o  d |      cr cnu||||||||061017s2006    cau     ob    001 0 eng d  a9780080466484q(electronic bk.)  z9780123725011q(print)  a(MiAaPQ)EBC282069  a(Au-PeEL)EBL282069  a(CaPaEBR)ebr10155918  a(CaONFJC)MIL72897  a(OCoLC)171113888  aMiAaPQbengerdaepncMiAaPQdMiAaPQ 4aQA76.76.T48bU98 20060 a005.3028/72221 aUtting, Mark.911935510aPractical model-based testingh[electronic resource] :ba tools approach /cMark Utting, Bruno Legeard.  aSan Francisco, CA :bMorgan Kaufmann Publishers,c2006.  axix, 433 p.  aIncludes bibliographical references and index.  aElectronic reproduction. Ann Arbor, MI : ProQuest, 2018. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. 0aComputer softwarexTesting.9119356 0aComputer softwarexTestingxAutomation.9119357 4aElectronic books.9351421 aLegeard, Bruno.91193582 aProQuest (Firm)91193592 aProQuest (Firm)40uhttps://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=282069zClick to View  c234794d234794