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