Research Catalog

  • The Software life cycle / edited by Darrel Ince, Derek Andrews.

    • Text
    • London ; Boston : Butterworths, 1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 91-1852Offsite
  • Formal methods in standards : a report from the BCS Working Group / C.L.N. Ruggles, (ed.) ; principal contributors, Derek Andrews ... [et. al.].

    • Text
    • London ; New York : Springer-Verlag, 1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 92-184Offsite
  • Semantics of specification languages (SoSL) : proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25-27 October 1993 / D.J. Andrews, J.F. Groote, and C.A. Middelburg, eds.

    • Text
    • London ; New York : Springer-Verlag, c1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 95-103Offsite

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