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 C1519277UNISA