LEADER 01435nam0 22003253i 450 
001 SUN0105175
005 20160408103200.718
010   $a01-242-7620-2$d0.00
100   $a20160405d1991       |0engc50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aAn *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$1001SUN0105183$12001 $a*APIC series$v35$1210  $aLondon$cAcademic press.
606   $aElaboratori elettronici$xProgrammazione$2EC$3SUNC032168
620   $aGB$dLondon$3SUNL000015
676   $a005.1$cProgrammazione$v22
700  1$aKubiak$b, Ryszard$3SUNV081867$0721415
701  1$aSokolowski$b, Stefan$3SUNV081868$0721414
701  1$aRudzi?ski$b, Roman$3SUNV081869$0721413
712   $aAcademic$3SUNV000123$4650
801   $aIT$bSOL$c20181109$gRICA
856 4 $uhttps://books.google.it/books?id=5Qj-UuC4uioC&printsec=frontcover&hl=it
912   $aSUN0105175
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA$d03 PREST     VAb5                                $e03    3090                                  
995   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA$bIT-CE0106$h3090$kPREST VAb5$op$qa
996   $aIntroduction to programming with specifications$91413212
997   $aUNICAMPANIA