01005nam0-22003131i-450 99000787327040332120241025143959.088-06-16145-8(Aleph)000787327FED0120040423d2002----km-y0itay50------baitagerIT--------001ya<<Un>> disinvolto mondo di criminaliannotazioni a posteriori su due attraversamenti della Iugoslavia in guerra, marzo e aprile 1999Peter Handketraduzione di Claudio GroffTorinoEinaudi200288 p.22 cm<<I >>coralli1732001Unter Trainen fragend17684KosovoGuerra civile <1999>949.71Handke,Peter<1941- >377135Groff,ClaudioITUNINARICAUNIMARCBK990007873270403321833.91 HAND 1548884FLFBCFLFBCUnter Trainen fragend17684UNINA01914nam0 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