LEADER 01063nam0-22003371i-450-
001 990000495170403321
005 20080715110614.0
010   $a0-13-329003-4
035   $a000049517
035   $aFED01000049517
035   $a(Aleph)000049517FED01
035   $a000049517
100   $a20020821d1982----km-y0itay50------ba
101 0 $aeng
105   $aa-------001yy
200 1 $aFormal specification and software development$fDines Bjørner, Cliff B. Jones
210   $aEnglewood Cliffs, New Jersey ...[etc.]$cPrentice-Hall$d©1982
215   $a501 p.$cill.$d24 cm
225 1 $aPrentice-Hall international series in computer science
610 0 $aProgrammazione
610 0 $aCompatibilità dei software
676   $a005.133
700  1$aBjørner,$bDines$f<1937- >$0434385
701  1$aJones,$bCliff B.$026769
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000495170403321
952   $a10 P.T. 166$b1867 CCE$fDINEL
959   $aDINEL
996   $aFormal specification and software development$9333264
997   $aUNINA