00350nam a2200145Ia 4500008004100000020001800041041000800059082001800067100002200085245003200107250000600139260003900145300001100184650000900195210716s2012    xx            000 0 und d  a9788131721391  aeng  a004.6005 PALS  aPalnitkar, Samir.  aDesign verification with e.  a1  aNew DelhibPearson Educationc2012  axl,363  aNone