LEADER 01315nam0 22003373i 450 
001 TO00541084
005 20240906063402.0
010   $a0124276202
100   $a20080214d1991    ||||0itac50      ba
101 | $aeng
102   $aus
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $a˜An œintroduction to programming with specifications$ea mathematical approach$fRyszard Kubiak, Roman Rudzi?ski, Stefan Sokolowski
210   $a London$cAcademic Press$d1991
215   $aIX, 267 p.$d24 cm
225 | $aA.P.I.C. sereis$v35
410  0$1001TO00554595$12001 $aA.P.I.C. sereis$v35
606   $aElaboratori elettronici$xProgrammazione$2FIR$3NAPC000341$9I
676   $a005.1$9PROGRAMMAZIONE$v14
676   $a005.1$9PROGRAMMAZIONE$v22
700  1$aKubiak$b, Ryszard$3TO0V250121$4070$0721415
701  1$aSokolowski$b, Stefan$3AQ1V002935$4070$0721414
701  1$aRudzi?ski$b, Roman$3TO0V256154$4070$0721413
801  3$aIT$bIT-NA0079$c20080214
850   $aIT-BN0095          
912   $aTO00541084
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 005.1                   KUB.in$e 0102 0000009385    B A4                    1 v.$f3 $h19940420$i19940420
977   $a 01
996   $aIntroduction to programming with specifications$91413212
997   $aUNISANNIO