Research Catalog

  • Verification and validation of real-time software / edited by W.J. Quirk.

    • Text
    • Berlin ; New York : Springer-Verlag, c1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 87-10Offsite
  • Safety of computer control systems 1986 (Safecomp '86) : trends in safe real time computer systems : proceedings of the Fifth IFAC Workshop, Sarlat, France, 14-17 October 1986 / edited by W.J. Quirk.

    • Text
    • Oxford [Oxfordshire] ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text JSG 88-98Offsite
  • Safety of computer control systems 1985 (SAFECOMP '85) : achieving safe real time computer systems : proceedings of the Fourth IFAC Workshop, Como, Italy, 1-3 October 1985 / edited by W.J. Quirk.

    • Text
    • Oxford [Oxfordshire] ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text JSG 87-127Offsite
  • Verification and validation of real-time software / edited by W.J. Quirk.

    • Text
    • Berlin ; New York : Springer-Verlag, [1985], ©1985.
    • 1985-1985
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.54 .V47 1985Off-site
  • Safety of computer control systems 1985 (SAFECOMP '85) : achieving safe real time computer systems : proceedings of the Fourth IFAC Workshop, Como, Italy, 1-3 October 1985 / edited by W.J. Quirk.

    • Text
    • Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text TJ212.2 .S238 1985Off-site
  • Safety of computer control systems 1985 (Safecomp '85) : achieving safe real time computer systems : proceedings of the Fourth IFAC Workshop, Como, Italy, 1-3 October 1985 / edited by W.J. Quirk.

    • Text
    • Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text TJ212.2 .S238 1985qOff-site
  • Verification and validation of real-time software / edited by W.J. Quirk.

    • Text
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.54 .V47 1985Off-site
  • Safety of computer control systems 1985 (Safecomp '85) : achieving safe real time computer systems : proceedings of the Fourth IFAC Workshop, Como, Italy, 1-3 October 1985 / edited by W.J. Quirk.

    • Text
    • Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text TJ212.2 .S238 1985q OversizeOff-site
  • Verification and validation of real-time software / edited by W.J. Quirk.

    • Text
    • Berlin ; New York : Springer-Verlag, c1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.54 .V47 1985Off-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