00886nam a2200229 a 4500001001400000003000700014005001700021008004100038020004300079020004000122040000800162100002400170245006700194260007100261300003400332490005300366504006300419650005500482650003900537650003100576830004900607vtls000049084KUKTEM20251117150447.0101208t2009    ne a   f b    001 0 eng d  a9780123742308 (hardcover : alk. paper)  a0123742307 (hardcover : alk. paper)  aUMP1 aRoychoudhury, Abhik10aEmbedded systems and software validation /cAbhik Roychoudhury  aAmsterdam ;aBoston :bMorgan Kaufmann Publishers/Elsevier,cc2009  axii, 254 p. :bill. ;c25 cm.1 aThe Morgan Kaufmann series in systems on silicon  aIncludes bibliographical references (p. 233-239) and index 0aEmbedded computer systemsxDesign and construction 0aEmbedded computer systemsxTesting 0aComputer softwarexTesting 0aMorgan Kaufmann series in systems on silicon