00758nam0-22002891i-450-99000184856040332120021010000184856FED01000184856(Aleph)000184856FED0100018485620021010d--------km-y0itay50------baitaVerso l' indipendenza granariaAlessandro Rota.MilanoTip. Montecatini1929.17 p.22 cmGrano633.11Rota,Alessandro81260ITUNINARICAUNIMARCBK99000184856040332160 MISC. B 68/17FAGBCFAGBCVerso l' indipendenza granaria413553UNINAING0100790nam0-22003011i-450-99000666999040332120001010000666999FED01000666999(Aleph)000666999FED0100066699920001010d--------km-y0itay50------baitay-------001yy<<Le >>origini del capitalismoJean BaechlerMilanoFeltrinelli1971124 p.22 cmUniversale economica775Baechler,Jean173813ITUNINARICAUNIMARCBK990006669990403321COLLEZ. 87 (775)6481FSPBCFSPBCOrigini del capitalismo617618UNINAGEN0100929nam a2200253 i 4500991002545679707536140617s2011 it b 000 0 ita d9788856748024b14192135-39ule_instDip. di Studi Umanisticiita111Iannuzzi, Vincenzo217976L'uomo e il determinismo cosmico :realtà e utopia /Vincenzo IannuzziRoma :Albatros,2011451 p. :ill. ;21 cmGli speciali [Albatros]Bibliografia: p. 448-451 Libero arbitrio e determinismo.b1419213517-06-1417-06-14991002545679707536LE005 111 IAN 01.0112005000356049le005gE16.90-l- 00000.i1561912617-06-14Uomo e il determinismo cosmico259238UNISALENTOle00517-06-14ma -itait 2002123oam 2200577 450 991070724000332120160621152110.0(CKB)5470000002463109(OCoLC)951986184(EXLCZ)99547000000246310920160621j199605 ua 0engurbn|||||||||txtrdacontentcrdamediacrrdacarrierAn introduction to requirements capture using PVS specification of a simple autopilot /Ricky W. ButlerHampton, Virginia :National Aeronautics and Space Administration, Langley Research Center,May 1996.1 online resource (iii, 29 pages)illustrationsNASA technical memorandum ;110255Title from title screen (viewed June 20, 2016)."May 1996.""Performing organization: NASA Langley Research Center, Hampton, VA"--Report documentation page.Includes bibliographical references (pages 24-25).Introduction to requirements capture using PVS Computer programmingnasatComputer programsnasatUser requirementsnasatSoftware development toolsnasatProgram verification (computers)nasatSoftware reliabilitynasatEquations of statenasatSpecificationsnasatComputer programming.Computer programs.User requirements.Software development tools.Program verification (computers)Software reliability.Equations of state.Specifications.Butler Ricky W.1398460Langley Research Center,United States.National Aeronautics and Space Administration,GPOGPOGPOBOOK9910707240003321An introduction to requirements capture using PVS3461774UNINA