00743nam0-22002771i-450 99000075461040332120221221123554.0000075461FED01000075461(Aleph)000075461FED0120001010d1948----km-y0itay50------baitaITy-------001yyErik Gunnar AsplundBruno ZeviMilanoIl Balcone1948151 p.ill.18 cmZevi,Bruno<1918-2000>2119ITUNINARICAUNIMARCBK990000754610403321MON A 523216FARBCPACIELLO 5PACIELLO 5FARBCFARBCErik Gunnar Asplund314192UNINA01914nam0 22004093i 450 RMS008022320251003044344.0026203270820071203d1999 ||||0itac50 baengusz01i xxxe z01nModel checkingEdmund M. Clarke, Jr., Orna Grumberg, and Doron A. PeledCambridge, Mass.LondonThe MIT press1999XIV, 314 p.ill.24 cm.Model checkingUSM1966656AQ1V00839627579ElaboratoriValutazioneFIRNAPC221502I004.2ANALISI E PROGETTAZIONE DEI SISTEMI, ARCHITETTURA DEGLI ELABORATORI, VALUTAZIONE DELLE PRESTAZIONI14004.21ANALISI E PROGETTAZIONE DEI SISTEMI22Cervelli elettroniciElaboratori elettroniciCalcolatori elettroniciComputerElaboratoriCervelli elettroniciElaboratoriElaboratori elettroniciElaboratoriCalcolatori elettroniciElaboratoriComputerClarke, Edmund M. <1945- >AQ1V00839607067498Grumberg, OrnaAQ1V01402607067499Peled, Doron A. <1962- >RMSV03797107067500ITIT-00000020071203IT-BN0095 NAP 01RCOST Materiale bibliografico trasferito come da verbale del 15/07/2009NAP 01SALA DING $RMS0080223Biblioteca Centralizzata di Ateneo1 v. (2. copia)1 v. 01RCOST 004.2 CLA.mo 0102 0000079565 VMA A4 1 v.Y 20091210200912101 v. (2. copia)1 v. 01SALA DING 004.2 CLA.mo 0102 0000056735 VMA A4 1 v.Y 2007120320071203 01Model checking27579UNISANNIO