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

LEADER 00906nam0-22003131i-450-
001 990001119280403321
005 20071121110956.0
035   $a000111928
035   $aFED01000111928
035   $a(Aleph)000111928FED01
035   $a000111928
100   $a20001205d1972----km-y0itay50------ba
101 0 $aeng
200 1 $aModulation techniques$fedited by R. K. Willardson, Albert C. Beer
210   $aNew York ; London$cAcademic Press$d1972
225 1 $aSemiconductors and semimetals$v9
610 0 $aSemiconduttori
676   $a537.622
700  1$aWillardson,$bRobert Kent$f<1923- >$052958
701  1$aBeer,$bAlbert C.$012602
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001119280403321
952   $a30-099.015$b19716$fFI1
952   $a10 E I 258/9$b7874$fDINEL
959   $aFI1
959   $aDINEL
996   $aModulation techniques$9336795
997   $aUNINA