01914nam0 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