01337nam0 22003133i 450 NAP053792320250117063032.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 datiFIRNAPC001844IElaboratori elettroniciProgrammiVerificaFIRCFIC029938I004.01ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA. Filosofia e teoria14004.0151ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA. Principi matematici22Merz, StephanAQ1V011664340Navet, NicolasNAPV110655340ITIT-NA007920120521IT-BN0095 NAP0537923Biblioteca Centralizzata di Ateneo1 v.1 v. 01SALA DING 004.01 MODAVO 0102 0000093395 N A4 1 v.3 2012051820120521 01Modeling and verification of real-time systems1573657UNISANNIO