01379cam a2200337 a 4500 17384 17384 14843712 OSt 20260113145230.0 070509s2007 ne a b 001 0 eng 2007019636 GBA770431 bnb 013833344 Uk 9780123742100 (pbk. : alk. paper) 0123742102 (pbk. : alk. paper) (OCoLC)ocn124539080 (OCoLC)124539080 (OCoLC)170034563 DLC DLC BTCTA BAKER C#P UKM DLC QA76.64 .R629 2007 005.1/17 22 Robinson, David (Verification engineer) Aspect-Oriented Programming with the Verification Language : A Pragmatic Guide for Testbench Developers / David Robinson. Amsterdam ; Boston : Elsevier/Morgan Kaufmann, c2007. xvii, 244 p. : ill. ; 24 cm. The Morgan Kaufmann series in systems on silicon Includes bibliographical references (p. [239]-240) and index. Object-oriented programming (Computer science) Table of contents only http://www.loc.gov/catdir/toc/ecip0717/2007019636.html 7 cbc orignew 1 ecip 20 y-gencatlg lcc MON