National Library of Australia

Opening hours Australia Day long weekend: Saturday 25 & Sunday 26 January: Library open during regular opening hours; Monday 27 January: All Reading Rooms closed, Bookshop & Exhibition Galleries open from 9am-5pm.

You must be logged in to Tag Records
Second NASA Formal Methods Workshop, 1992 [microform] / compiled by Sally C. Johnson, C. Michael Holloway, and RIcky W. Butler
Bib ID 4116171
Format MicroformMicroform, BookBook
Author
NASA Formal Methods Workshop (2nd : 1992 : Hampton, Va.)
 
Description Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1992] 
1 v. 
Series

NASA conference publication ; 10110.

Notes

Shipping list no.: 93-0356-M.

Distributed to depository libraries on microfiche.

Reproduction Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1992] 3 microfiches. 
Subjects Avionics.  |  Computer systems programs.  |  Control systems design.  |  Digital systems.  |  Flight control.  |  Numerical control.  |  Program verification (Computers).
Other authors/contributors Johnson, Sally C  |  Holloway, C. Michael  |  Butler, Ricky W  |  Langley Research Center
Available From NASA 
Govt. Doc. Number NAS 1.55:10110 

Online

    In the Library

    Request this item to view in the Library's reading rooms using your library card. To learn more about how to request items watch this short online video Help Video.

    Details Collect From
    mc SUDOC NAS 1.55:10110 Main Reading Room - Newspapers and Family History

    Order a copy

    - Copyright or permission restrictions may apply. We will contact you if necessary.

    Help Video To learn more about Copies Direct watch this short online video Help Video.
    close Can I borrow items from the Library?

    You need Flash player 8+ and JavaScript enabled to view this video embedded.

    You can view this on the NLA website.

    close What can I get online?

    You need Flash player 8+ and JavaScript enabled to view this video embedded.

    You can view this on the NLA website.

    close Can I get copies of items from the Library?

    You need Flash player 8+ and JavaScript enabled to view this video embedded.

    You can view this on the NLA website.

    Aboriginal and Torres Strait Islander Flags
    Aboriginal, Torres Strait Islander and other First Nations people are advised that this catalogue contains names, recordings and images of deceased people and other content that may be culturally sensitive. Please also be aware that you may see certain words or descriptions in this catalogue which reflect the author’s attitude or that of the period in which the item was created and may now be considered offensive.