LEADER 01469nam0 22003253i 450 
001 VAN00105175
005 20240806100728.89
010   $a01-242-7620-2
100   $a20160405d1991       |0itac50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aˆAn ‰introduction to programming with specifications$ea mathematical approach$fRyszard Kubiak, Roman Rudzi?ski, Stefan Sokolowski
210   $aLondon$cAcademic press$d1991
215   $aIX, 267 p.$d24 cm.
410  1$1001VAN00105183$12001 $aAPIC series$1210  $aLondon$cAcademic press.$v35
606   $aElaboratori elettronici$xProgrammazione$3VANC032168$2EC
620   $aGB$dLondon$3VANL000015
676   $a005.1$cProgrammazione$v22
700  1$aKubiak$bRyszard$3VANV081867$0721415
701  1$aRudzi?ski$bRoman$3VANV081869$0721413
701  1$aSokolowski$bStefan$3VANV081868$0721414
712   $aAcademic <editore>$3VANV108018$4650
801   $aIT$bSOL$c20240906$gRICA
856 4 $uhttps://books.google.it/books?id=5Qj-UuC4uioC&printsec=frontcover&hl=it$zhttps://books.google.it/books?id=5Qj-UuC4uioC&printsec=frontcover&hl=it
899   $aBIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA$1IT-CE0106$2VAN03
912   $aVAN00105175
950   $aBIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA$d03PREST     VAb5                                $e03   3090              20160405            
996   $aIntroduction to programming with specifications$91413212
997   $aUNICAMPANIA