An edition of An introduction to requirements capture using PVS (1996)

An introduction to requirements capture using PVS

specification of a simple autopilot

by

An introduction to requirements capture using ...
Ricky W. Butler
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Check nearby libraries

Buy this book

Last edited by VacuumBot
August 9, 2012 | History
Edit
An edition of An introduction to requirements capture using PVS (1996)

An introduction to requirements capture using PVS

specification of a simple autopilot

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
National Aeronautics and Space Administration, Langley Research Center, National Technical Information Service, distributor
Language
English

Check nearby libraries

Buy this book

Subjects

Specifications, Software development tools, Program verification (Computers), Software reliability, Computer programming, User requirements, Computer programs, Equations of state
Edition Availability
Cover of: An introduction to requirements capture using PVS
An introduction to requirements capture using PVS: specification of a simple autopilot
1996, National Aeronautics and Space Administration, Langley Research Center, National Technical Information Service, distributor
Microform in English
  • Not in Library
Libraries near you: WorldCat
Cover of: An introduction to requirements capture using PVS
An introduction to requirements capture using PVS: specification of a simple autopilot
1996, National Aeronautics and Space Administration, Langley Research Center, National Technical Information Service, distributor
Microform in English

Add another edition?

Book Details

Edition Notes

Shipping list no.: 98-0789-M.

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1997] 1 microfiche.

Published in
Hampton, Va, [Springfield, Va
Series
NASA technical memorandum -- 110255.
Other Titles
Specification of a simple autopilot.

The Physical Object

Format
Microform
Pagination
1 v.

ID Numbers

Open Library
OL17834486M
OCLC/WorldCat
39675735

Source records

Oregon Libraries MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
August 9, 2012 Edited by VacuumBot Updated format '[microform] :' to 'Microform'; Removed author from Edition (author found in Work)
December 15, 2009 Edited by WorkBot link works
April 24, 2009 Edited by ImportBot add OCLC number
October 1, 2008 Created by ImportBot Imported from Oregon Libraries MARC record