000179430 000__ 01733fam\a2200397\a\4500
000179430 001__ 179430
000179430 005__ 20220217103555.0
000179430 007__ he|bmb024bbca
000179430 008__ 930505s1992\\\\vaua\\\\bb\\\f100\0\eng\d
000179430 035__ $$a(OCoLC)ocm28047445
000179430 035__ $$9(IS)ACR5291
000179430 035__ $$9AAU7901SI
000179430 035__ $$a179430
000179430 040__ $$aMMM$$cMMM
000179430 049__ $$aISUM
000179430 0860_ $$aNAS 1.55:10110
000179430 1112_ $$aNASA Formal Methods Workshop$$n(2nd :$$d1992)
000179430 24510 $$aSecond NASA Formal Workshop 1992 :$$bproceedings of a workshop /$$csponsored by the National Aeronautics and Space Administration, Washington,  D.C., and held at Langley Research Center, Hampton, Virginia, August 11-13,     1992 ; compiled by Sally C. Johnson, C. Michael Holloway and Ricky W. Butler.
000179430 260__ $$aHampton, Va. :$$bNational Aeronautics and Space Administration,    Langley Research Center,$$c[1992]
000179430 300__ $$a242 p. :$$bill. ;$$c28 cm.
000179430 440_0 $$aNASA conference publication ;$$v10110
000179430 500__ $$a"November 1992."
000179430 500__ $$aPerforming organization: NASA Langley Research Center.
000179430 500__ $$aCover title.
000179430 504__ $$aIncludes bibliographical references (p. 18-22)
000179430 533__ $$aMicrofiche.$$bWashington, D.C. :$$cSuperintendent of Documents, Government Publications Office,$$d1992.$$e3 microfiches : negative ; 11 x 15  cm.
000179430 650_0 $$aFault-tolerant computing$$vCongresses.
000179430 650_0 $$aSystem design$$vCongresses.
000179430 650_0 $$aSystem analysis$$vCongresses.
000179430 650_0 $$aAutomatic control$$xData processing$$vCongresses.
000179430 7001_ $$aJohnson, Sally C.
000179430 7001_ $$aHolloway, C. Michael.
000179430 7001_ $$aButler, Ricky W.
000179430 7101_ $$aUnited States.$$bNational Aeronautics and Space Administration.
000179430 7102_ $$aLangley Research Center.
000179430 85230 $$bdfich$$hNAS 1.55:$$i10110
000179430 909CO $$ooai:library.usi.edu:179430$$pGLOBAL_SET
000179430 948__ $$ac:jb
000179430 980__ $$aBIB
000179430 980__ $$aGOV RESOURCE