LEADER 01914nam0 22004093i 450 
001 RMS0080223
005 20251003044344.0
010   $a0262032708
100   $a20071203d1999    ||||0itac50      ba
101 | $aeng
102   $aus
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aModel checking$fEdmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled
210   $aCambridge, Mass.$aLondon$cThe MIT press$d1999
215   $aXIV, 314 p.$cill.$d24 cm.
500 10$aModel checking$3USM1966656$9AQ1V008396$927579
606   $aElaboratori$xValutazione$2FIR$3NAPC221502$9I
676   $a004.2$9ANALISI E PROGETTAZIONE DEI SISTEMI, ARCHITETTURA DEGLI ELABORATORI, VALUTAZIONE DELLE PRESTAZIONI$v14
676   $a004.21$9ANALISI E PROGETTAZIONE DEI SISTEMI$v22
696   $aCervelli elettronici$aElaboratori elettronici$aCalcolatori elettronici$aComputer
699   $aElaboratori$yCervelli elettronici
699   $aElaboratori$zElaboratori elettronici
699   $aElaboratori$yCalcolatori elettronici
699   $aElaboratori$yComputer
700  1$aClarke$b, Edmund M.$f <1945-    >$3AQ1V008396$4070$067498
701  1$aGrumberg$b, Orna$3AQ1V014026$4070$067499
701  1$aPeled$b, Doron A.$f <1962-    >$3RMSV037971$4070$067500
801  3$aIT$bIT-000000$c20071203
850   $aIT-BN0095          
901   $bNAP 01$cRCOST     $nMateriale bibliografico trasferito come da verbale del 15/07/2009
901   $bNAP 01$cSALA DING $n$
912   $aRMS0080223
950  0$aBiblioteca Centralizzata di Ateneo$b1 v. (2. copia)$c1 v.$d 01RCOST     004.2                   CLA.mo$e 0102 0000079565  VMA A4                    1 v.$fY $h20091210$i20091210$b1 v. (2. copia)$c1 v.$d 01SALA DING 004.2                   CLA.mo$e 0102 0000056735  VMA A4                    1 v.$fY $h20071203$i20071203
977   $a 01
996   $aModel checking$927579
997   $aUNISANNIO