LEADER 01097nam  2200337   450 
001 9910347944203321
005 20230419175919.0
010   $a1-7281-4113-3
035   $a(CKB)4100000009669500
035   $a(NjHacI)994100000009669500
035   $a(EXLCZ)994100000009669500
100   $a20230419d2019      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$a2019 Forum for Specification and Design Languages (FDL) /$fInstitute of Electrical and Electronics Engineers
210  1$a[Place of publication not identified] :$cIEEE,$d2019.
215   $a1 online resource
311   $a1-7281-4114-1 
517   $a2019 Forum for Specification and Design Languages 
606   $aComputer programs$xVerification$vCongresses
615  0$aComputer programs$xVerification
676   $a005.14
801  0$bNjHacI
801  1$bNjHacl
906   $aPROCEEDING
912   $a9910347944203321
996   $a2019 Forum for Specification and Design Languages (FDL)$92540928
997   $aUNINA

LEADER 01254nam a2200313 i 4500
001 991002480689707536
005 20020508200941.0
008 000220s1989    it            ||| | ita  
035   $ab11015755-39ule_inst
035   $aPARLA163427$9ExL
040   $aDip.to Filosofia$bita
082 0 $a004.01
084   $aLC Q11
100 1 $aDennett, Daniel C.$0143804
245 13$aLa cultura del computer /$cscritti e interventi di Dennett... [e altri] ; a cura di Heinz R. Pagels ; [traduzione di Emanuela Moro e Maurizio Maggiore]
260   $aTorino :$bBollati Boringhieri,$c1989
300   $a215 p. :$bill. ;$c21 cm
490 0 $aSuperuniversale
650  4$aInformatica$xAspetti culturali
650  4$aComputers
700 1 $aPagels, Heinz R.
740 0 $aComputer culture
907   $a.b11015755$b09-10-18$c28-06-02
912   $a991002480689707536
945   $aLE005IF LII F 29$g1$i2005000266294$lle005$o-$pE0.00$q-$rl$s-  $t0$u1$v0$w1$x0$y.i11134434$z28-06-02
945   $aLE006 Fondo Soliani 117$cEx libris Giulio Soliani$g1$i2006000180535$lle006$og$pE9.00$q-$rn$s-  $t1$u0$v0$w0$x0$y.i15863384$z09-10-18
996   $aCultura del computer$91745198
997   $aUNISALENTO
998   $ale005$ale006$b01-01-00$cm$da  $e-$fita$git $h3$i1