01072nam--2200373---450-99000368549020331620120910102205.0978-88-07-11120-4000368549USA01000368549(ALEPH)000368549USA0100036854920120910d2012----km-y0itay50------baitaengITa|||z|||001yy<<L'>>informazioneuna storia, una teoria, un diluvioJames Gleicktraduzione di Virginio B. SalaMilanoFeltrinelli2012457 p.23 cmStorie2001Storia2001<<The>> information53963Teoria dell'informazioneBNCF003.54GLEICK,James124138SALA,VirginioITsalbcISBD990003685490203316IV.1. 1464237038 L.M.IV.1.00291558BKUMAANNAMARIA9020120910USA011022Information53963UNISA01779nam 2200505Ia 450 991070185450332120120622112657.0(CKB)5470000002421563(OCoLC)796085603(EXLCZ)99547000000242156320120622d2011 ua 0engurcn|||||||||txtrdacontentcrdamediacrrdacarrierA methodology for evaluating artifacts produced by a formal verification process[electronic resource] /Radu I. Siminiceanu, Paul S. Miner and Suzette PersonHampton, Va. :National Aeronautics and Space Administration, Langley Research Center,[2011]1 online resource (23 pages) color illustrationsNASA/TM ;2011-217193Title from title screen (viewed on June 22, 2012)."November 2011."Includes bibliographical references (page 22).Program verification (computers)nasatFormalismnasatEthernetnasatFault tolerancenasatAlgorithmsnasatDesign analysisnasatProgram verification (computers)Formalism.Ethernet.Fault tolerance.Algorithms.Design analysis.Siminiceanu Radu I1405428Miner Paul S.1962-1405429Person Suzette1405430NASA Glenn Research Center.GPOGPOBOOK9910701854503321A methodology for evaluating artifacts produced by a formal verification process3481898UNINA