01170nam0 2200325 450 00004374220180112100218.088-8265-368-420171213d2006----km-y0itaa50------baitaITCassiodoro politicoAndrea GiardinaRoma<<L'>>Erma di Bretschneider2006173 p.21 cmSaggi di storia antica272001Saggi di storia antica27Cassiodoro,Flavio Magno Aurelio945.013092(22. ed.)Storia. Italia. Periodo della dominazione gotica, 476-553. PersoneGiardina,Andrea298020ITUniversità della Basilicata - B.I.A.REICATunimarc000043742Cassiodoro politico728197UNIBASLETTEREMDL3020171213BAS010932MDL3020171213BAS010934MDL3020171213BAS011125MDL3020180112BAS011002BAS01BAS01BOOKBASA1Polo Storico-UmanisticoDIDDidatticaFM/115539115539L1155392017121304Prestabile Didattica01643nam0 22003853i 450 NAP053792320251003044255.0978184821013420120521d2008 ||||0itac50 baenggbz01i xxxe z01nModeling and verification of real-time systemsformalisms and software toolsedited by Stephan Merz, Nicolas NavetLondonISTEHoboken (N.J.)Wiley2008393 p.25 cm.Elaborazione dei datiFIRCFIC000257EElaboratori elettroniciProgrammiVerificaFIRCFIC029938I004.01ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA. Filosofia e teoria14004.0151ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA. Principi matematici22VerificazioneProgrammi didatticiProgrammi scolasticiPiani di lavoroVerificaVerificazioneProgrammiProgrammi didatticiProgrammiProgrammi scolasticiProgrammiPiani di lavoroMerz, StephanAQ1V011664340Navet, NicolasNAPV110655340ITIT-00000020120521IT-BN0095 NAP 01SALA DING $NAP0537923Biblioteca Centralizzata di Ateneo1 v.1 v. 01SALA DING 004.01 MODAVO 0102 0000093395 VMA A4 1 v.Y 2012051820120521 01Modeling and verification of real-time systems1573657UNISANNIO