TY - BOOK AU - LEM O EJIOGU TI - SOFTWARE ENGINEERING WITH FORMAL METRICS U1 - 005.1 N (MCA) PB - MCGRAW HILL BOOK COMPANY KW - COMPUTER SCIENCE KW - SOFTWARE ENGINEERING ER -