PakCat catalogue record Design verification with e By 621.392 Bibliographic details PublisherPrentice Hall PTR Publication placeUpper Saddle River, NJ Publication year2004 LanguageEnglish Material typeBook Physical descriptionxl, 363 p.