Research Catalog

  • Integrated project support environments / edited by John McDermid.

    • Text
    • London, UK : P. Peregrinus on behalf of the Institution of Electrical Engineers, c1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 88-3519Offsite
  • The Theory and practice of refinement : approaches to the formal development of large-scale software systems / edited by John A. McDermid.

    • Text
    • London ; Boston : Butterworths, 1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 90-1141Offsite
  • Software engineer's reference book / edited by John A. McDermid.

    • Text
    • Oxford ; Boston : Butterworth-Heinemann, 1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 99-289Offsite
  • ESEC'89 : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 : proceedings / C. Ghezzi, J.A. McDermid (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 95-442Offsite
  • Software engineering environments : automated support for software engineering / Alan W. Brown, Anthony N. Earl, John A. McDermid.

    • Text
    • London ; New York : McGraw-Hill, [1992], ©1992.
    • 1992-1992
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.758 .B763 1992Off-site
  • IFCEM 2000 : Third IEEE international conference on formal engineering methods : York, England, September 4-6, 2000 / editors, Shaoying Liu, John A. McDermid, Michael G. Hinchey ; sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing, University of York.

    • Text
    • Los Alamitos, California : IEEE Computer Society, [2000], ©2000.
    • 2000-2000
    • 1 Item
    FormatCall NumberItem Location
    Text TA5 .I4 2000gOff-site
  • ESEC '89 : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 : proceedings / C. Ghezzi, J.A. McDermid (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, [1989], ©1989.
    • 1989-1989
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.758 .E97 1989Off-site
  • The Theory and practice of refinement : approaches to the formal development of large-scale software systems / John A. McDermid.

    • Text
    • London ; Boston : Butterworths, 1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.D47 T48 1989Off-site
  • ESEC '89 : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 : proceedings / C. Ghezzi, J.A. McDermid (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.758.E97 1989Off-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta