LEADER 01301nam0 22003493i 450 
001 AQ10012212
005 20250110062449.0
010   $a0387976876$bNew York
010   $a3540976876$bBerlin
100   $a20080130d1992    ||||0itac50      ba
101 | $aeng
102   $aus
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $a˜The œdesign and analysis of algorithms$fDexter C. Kozen
210   $aNew York [etc.]$cSpringer$dc1992
215   $aX, 320 p.$d25 cm
225 | $aTexts and monographs in computer science
410  0$1001AQ10000364$12001 $aTexts and monographs in computer science
606   $aAlgoritmi$2FIR$3NAPC007098$9I
606   $aElaboratori elettronici$xProgrammazione$2FIR$3NAPC000341$9I
676   $a005.1$9PROGRAMMAZIONE$v14
676   $a005.1$9PROGRAMMAZIONE$v22
700  1$aKozen$b, Dexter C.$3AQ1V006554$4070$065955
790  1$aKozen$b, Dexter$3NAPV121193$zKozen, Dexter C.
801  3$aIT$bIT-NA0079$c20080130
850   $aIT-BN0095          
912   $aAQ10012212
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 005.1                   KOZ.de$e 0102 0000003485    B A4                    1 v.$f3 $h20080130$i20080130
977   $a 01
996   $aDesign and analysis of algorithms$91518893
997   $aUNISANNIO