01244nam0 22003133i 450 RMS219422020251003044346.0978052188333720120517d2008 ||||0itac50 baenggbz01i xxxe z01nReal-time systemsformal specification and automatic verificationErnst-Rüdiger Olderog and Henning DierksCambridge [etc.]Cambridge Universityc2008XVI, 320 p.ill.26 cmElaborazione dei datiFIRCFIC000257E004ELABORAZIONE DEI DATI. SCIENZA DEGLI ELABORATORI. INFORMATICA14004.33Modi di elaborazione. Elaborazione in tempo reale22Olderog, Ernst-RudigerAQ1V006552070770277Dierks, HenningRMSV867397070771738ITIT-00000020120517IT-BN0095 NAP 01SALA DING $RMS2194220Biblioteca Centralizzata di Ateneo1 v.1 v. 01SALA DING 004 OLD.re 0102 0000093375 VMA A4 1 v.Y 2012051520120517 01Real-time systems1574965UNISANNIO01909nam0 22004333i 450 SBL034066120251003044352.0IT816036 20160728e19791751||||0itac50 baitaitz01i xxxe z01nz01ncRDAcarrierDelle monete in senso pratico, e moraleragionamento diviso in sette capitoli, dedicato a quelli che prender si vorranno la pena di leggerloRist. anastMilanoIniziative culturali ed editoriali bancariestampa 1979115 p.24 cmRip. anast. dell'ed.: Venezia : S. Occhi, 1751Ed. speciale / per iniziativa di Associazione Nazionale aziende ordinarie di credito, Istituto Centrale di banche e banchieriSenza il nome dell'AIn cofanetto.MonetaStoriaFIRCFIC024389E332.4MONETA14332.4MONETA23332.401MONETA. TEORIE20Unità monetariaDanaroDenaroMonetaUnità monetariaMonetaDanaroMonetaDenaroCostantini, Girolamo <1690-1774>SBLV1788220701434892ITIT-00000020160728IT-BN0095 NAP 01POZZO LIB.Vi sono collocati fondi di economia, periodici di ingegneria e scienze, periodici di economia e statistica e altri fondi comprendenti documenti di economia pervenuti in dono. SBL0340661Biblioteca Centralizzata di Ateneo1 v.1 v. 01POZZO LIB.F. PARRAVICINI 649 0101 0600165625E VMA 1 v. (Precedente collocazione P. 706)B 2005093020231122 01Delle monete in senso pratico, e morale3591912UNISANNIO