01483nam0 22003253i 450 RMS008022320240712063226.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 SISTEMI22Clarke, Edmund M. <1945- >AQ1V00839607067498Grumberg, OrnaAQ1V01402607067499Peled, Doron A. <1962- >RMSV03797107067500ITIT-NA007920071203IT-BN0095 RMS0080223Biblioteca Centralizzata di Ateneo1 v. (2. copia)1 v. 01RCOST 004.2 CLA.mo 0102 0000079565 B A4 1 v.3 20091210200912101 v. (2. copia)1 v. 01SALA DING 004.2 CLA.mo 0102 0000056735 N A4 1 v.3 2007120320071203 01Model checking27579UNISANNIO