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

Search Results

Cover image for Purchasing computers

Purchasing computers

Joyner Library - General Stacks
Call Number: KF905.C6 S25 1981
Cover image for Specification

Specification

Joyner Library - Fed Docs Stacks
Call Number: ASK AT REFERENCE DESK
Cover image for Data processing contracts

Data processing contracts

Joyner Library - General Stacks
Call Number: KF946 .B73 1984
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

Joyner Library - General Stacks
Call Number: KF915.Z93 C6533 1984
Cover image for Designing the requirements

Designing the requirements

Joyner Library - General Stacks
Call Number: QA76.76 .S73 B75 2016
Cover image for An introduction to requirements capture using PVS

An introduction to requirements capture using PVS

Joyner Library - Microforms B300
Call Number: NAS 1.15:110255
Cover image for Abstracting formal specifications to generate software tests via model checking

Abstracting formal specifications to generate software tests via model checking

Joyner Library - Microforms B300
Call Number: C 13.58:6405
Cover image for Specification case studies

Specification case studies

  • 1993
  • Format: Book
Joyner Library - General Stacks
Call Number: QA76.6 .S667 1993
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