Tools

LEADER 02024cam a2200433 a 4500

001 ocm15277645;

003 OCoLC;

005 20141208175206.0;

007 he bmb024bbca;

008 870306s1985 dcua bbt f100 0 eng c;

035 a| (Sirsi) o15277645;

035 a| (OCoLC)15277645;

042 a| pcc;

049 a| ERE$;

074 a| 0830-H-10 (MF);

086 0 a| NAS 1.55:2377;

245 00 a| Peer review of a formal verification/design proof methodology :b| summary of a sub-working-group meeting /c| sponsored by NASA Langley Research Center and held at the Georgia Institute of Technology, Atlanta, Georgia, July 7-8, 1983.;

300 a| viii, 48 pages :b| illustrations ;c| 28 cm.;

336 a| text2| rdacontent;

337 a| microform2| rdamedia;

338 a| microfiche2| rdacarrier;

490 1 a| NASA conference publication ;v| 2377;

504 a| Includes bibliographical references (p. 48).;

650 0 a| Fault-tolerant computingv| Congresses.=| ^A238562;

650 0 a| Computer softwarex| Verificationv| Congresses.=| ^A1146757;

650 0 a| System designv| Congresses.=| ^A121730;

650 7 a| CONFERENCES.2| nasat;

650 7 a| Design analysis.2| nasat;

650 7 a| Proving.2| nasat;

650 7 a| Software engineering.2| nasat;

710 2 a| Langley Research Center.=| ^A192893;

710 1 a| United States.b| National Aeronautics and Space Administration.b| Scientific and Technical Information Branch.=| ^A77042;

830 0 a| NASA conference publicationv| 2377.=| ^A297057;

596 a| 1;

998 a| 755383;

999 a| NAS 1.55:2377w| SUDOCc| 1i| MQ1377242d| 8/7/2007l| JDOMIm| JOYNERr| Ys| Yt| JDOFMIu| 7/5/2000x| MICROFORMz| JFEDDOCSo| .STAFF. 0;

Peer review of a formal verification/design proof methodology : summary of a sub-working-group meeting / sponsored by NASA Langley Research Center and held at the Georgia Institute of Technology, Atlanta, Georgia, July 7-8, 1983.

Other author	Langley Research Center.
Other author	United States. National Aeronautics and Space Administration. Scientific and Technical Information Branch.
Format	Microform
Publication Info	Washington, D.C. : National Aeronautics and Space Administration, Scientific and Technical Information Branch ; Springfield, Va. : For sale by National Technical Information Service, 1985.
Description	viii, 48 pages : illustrations ; 28 cm.
Subjects	Fault-tolerant computing--Congresses. Computer software--Verification. --Congresses. System design--Congresses.

Series	NASA conference publication ; 2377 NASA conference publication 2377. ^A297057
Bibliography note	Includes bibliographical references (p. 48).
Reproduction note	Joyner- Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1985] 1 microfiche : negative.
GPO item number	0830-H-10 (MF)
Govt. docs number	NAS 1.55:2377

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	Microforms B300	NAS 1.55:2377	✔ Available

Peer review of a formal verification/design proof methodology : summary of a sub-working-group meeting / sponsored by NASA Langley Research Center and held at the Georgia Institute of Technology, Atlanta, Georgia, July 7-8, 1983.

Click here for more information about this title

Availability