01171nam0-2200385li-450 99000026677020331620180312154915.00-07-707640-00026677USA010026677(ALEPH)000026677USA01002667720001109d1995----km-y0itay0103----baengGBSafer Cdevelopping software for high-integrity and safety-critical systemsLes HattonLondon [etc.]McGraw-Hill Internationalcopyr. 1995XII, 228 p.ill.25 cmlinguaggio csicurezza dei datisoftwaresvilupposoftwareverifica005133Specifici linguaggi di programmazioneHatton,Les754889Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000266770203316005.133 HAT0024235BKSCI1999010220001110USA01171620020403USA011635PATRY9020040406USA011619Safer C1519277UNISA00921nam a22002411i 450099100119209970753620031021094058.0040407s1965 xxu|||||||||||||||||eng b12732916-39ule_instARCHE-071255ExLDip.to Scienze StoricheitaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.917.3Dishman, Robert B.483728The state of the Union :commentaries on American democracy /Robert B. DishmanNew York :Scribner,c1965X, 546 p. ;24 cmStati Uniti d'AmericaCiviltà.b1273291602-04-1416-04-04991001192099707536LE009 STOR.898-3212009000376731le009-E0.00-l- 00000.i1326740116-04-04State of the Union268462UNISALENTOle00916-04-04ma -engxxu41