edited by Gary T. Leavens, Murali Sitaraman

Cambridge University Press 2010, c2000

: pbk

edited by Murali Sitaraman ; sponsored by IEEE Computer Society Technical Council on Software Engineering ; in cooperation with Association for Computing Machinery

IEEE Computer Society Press c1996

: microfiche

Available at 5 libraries