Start Over
You searched for: subject "Computers+Specifications."

Search Results

Cover image for Purchasing computers

Purchasing computers

Location Call # Status
Joyner - General Stacks KF905.C6 S25 1981 ✔ Available
Cover image for Specification

Specification

Location Call # Status
Joyner - Fed Docs Stacks ASK AT REFERENCE DESK ✔ Available
Cover image for Data processing contracts

Data processing contracts

Location Call # Status
Joyner - General Stacks KF946 .B73 1984 ✔ Available
Cover image for 2018 1st International Workshop on Easy Approach to Requirements Syntax (EARS)

2018 1st International Workshop on Easy Approach to Requirements Syntax (EARS)

Location
Access Content Online
Cover image for Protect yourself

Protect yourself

Location Call # Status
Joyner - General Stacks KF915.Z93 C6533 1984 ✔ Available
Cover image for Automated verification of specifications with typestates and access permissions

Automated verification of specifications with typestates and access permissions

Location
Access Content Online
Cover image for An introduction to requirements capture using PVS

An introduction to requirements capture using PVS

Location Call # Status
Joyner - Microforms B300 NAS 1.15:110255 ✔ Available
Cover image for An introduction to requirements capture using PVS

An introduction to requirements capture using PVS

Location
Access Content Online
Cover image for GCS programmer's manual

GCS programmer's manual

  • 1990
  • Format: Microform
Location Call # Status
Joyner - Microforms B300 NAS 1.15:102721 ✔ Available
Cover image for Abstracting formal specifications to generate software tests via model checking

Abstracting formal specifications to generate software tests via model checking

Location Call # Status
Joyner - Microforms B300 C 13.58:6405 ✔ Available