01643nam0 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