00886nam0-2200265 --450 991031205090332120190322121148.03540415238 (alk. paper)20190322d2001--------kmuy0itay5050----baengDESystems and software verificationmodel-checking techniques and tools /B. Bérard ... [et al.]Berlin ;New YorkSpringerc2001xii, 190 p.ill. ;24 cmIncludes bibliographical references (p. [179]-182).Computer systemsVerificationComputer softwareVerification005.1/4Bérard,Béatrice598511ITUNINARICAUNIMARC991031205090332113 65 072129 / 2018FINBCFINBCSystems and software verification1028436UNINA01202nam0 2200289 i 450 CFI011051820231121125437.0IT89-11292 20140219d1987 ||||0itac50 baitaitz01i xxxe z01nComune, provincia, universitàle convenzioni a Bologna fra enti locali e Ateneo, 1877-1970\a cura di! Luisa Lamapresentazione di R. FinziBolognaComuneIstituto per la storia di Bologna1987369 p., \31! c. di tav.ill.24 cm.Fonti per la storia di Bologna. - Testi. N. S7001CFI00707742001 Fonti per la storia di Bologna. -*Fonti per la storia di Bologna. Testi. N. S7Lama, LuisaCFIV068845ITIT-0120140219IT-FR0017 Biblioteca umanistica Giorgio ApreaFR0017 CFI0110518Biblioteca umanistica Giorgio Aprea 52MAG 5/2090 52SBA0000171565 VMN RS A 2014041820140418 52Comune, provincia, università164535UNICAS