LEADER 01064cam0-2200337---450- 001 990007043750403321 005 20100721131705.0 010 $a0-19-820608-9$bhbk 010 $a0-19-925456-7$bpbk 035 $a000704375 035 $aFED01000704375 035 $a(Aleph)000704375FED01 035 $a000704375 100 $a20020208d2001----km-y0itay50------ba 101 0 $aeng 102 $aGB 105 $abcfha---001cy 200 1 $aRadical enlightenment$ephilosophy and the making of modernity, 1650-1750$fJonathan I. Israel 210 $aOxford$cOxford University Press$d2001 215 $aXXI, 810 p., [8] c. di tav.$cill.$d24 cm 610 0 $aFilosofia$aStoria$aSec. 17.-18. 676 $a940.2$v21$zita 700 1$aIsrael,$bJonathan I.$g$0258955 801 0$aIT$bUNINA$c20060427$gRICA$2UNIMARC 901 $aBK 912 $a990007043750403321 952 $aP.1 SF 335$bBibl. 41756$fFLFBC 952 $aP.1 SF 335BIS$bBibl. 44359$fFLFBC 959 $aFLFBC 996 $aRadical enlightenment$9707237 997 $aUNINA LEADER 01171nam0-2200385li-450 001 990000266770203316 005 20180312154915.0 010 $a0-07-707640-0 035 $a0026677 035 $aUSA010026677 035 $a(ALEPH)000026677USA01 035 $a0026677 100 $a20001109d1995----km-y0itay0103----ba 101 0 $aeng 102 $aGB 200 1 $aSafer C$edevelopping software for high-integrity and safety-critical systems$fLes Hatton 210 $aLondon [etc.]$cMcGraw-Hill International$dcopyr. 1995 215 $aXII, 228 p.$cill.$d25 cm 610 1 $alinguaggio c 610 1 $asicurezza dei dati 610 1 $asoftware$asviluppo 610 1 $asoftware$averifica 676 $a005133$9Specifici linguaggi di programmazione 700 1$aHatton,$bLes$0754889 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000266770203316 951 $a005.133 HAT$b0024235 959 $aBK 969 $aSCI 979 $c19990102 979 $c20001110$lUSA01$h1716 979 $c20020403$lUSA01$h1635 979 $aPATRY$b90$c20040406$lUSA01$h1619 996 $aSafer C$91519277 997 $aUNISA