Start Over
You searched for: subject "Computer software+Specifications."

Search Results

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 Investigation of specification measures for the Software Engineering Laboratory

Investigation of specification measures for the Software Engineering Laboratory

  • 1984
  • Format: Book
Location Call # Status
Joyner - Microforms B300 NAS 1.15:88591 ✔ Available
Joyner - Microforms B300 NAS 1.15:88591 ✔ Available
Joyner - Microforms B300 NAS 1.15:88591 ✔ Available
Cover image for Integration of software specification techniques for applications in engineering

Integration of software specification techniques for applications in engineering

  • 2004
  • Format: Electronic
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 Autonomics development

Autonomics development

Location
Access Content Online
Cover image for Model-driven software engineering in practice

Model-driven software engineering in practice

Location
Access Content Online
Cover image for 3D printing in mathematics

3D printing in mathematics

  • 2023
  • Format: Book
Location Call # Status
Joyner - General Stacks TA1560 .A18 2023 ✔ Available