LEADER 01337nam0 22003133i 450 
001 NAP0537923
005 20250117063032.0
010   $a9781848210134
100   $a20120521d2008    ||||0itac50      ba
101 | $aeng
102   $agb
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aModeling and verification of real-time systems$eformalisms and software tools$fedited by Stephan Merz, Nicolas Navet
210   $aLondon$cISTE$aHoboken (N.J.)$cWiley$d2008
215   $a393 p.$d25 cm.
606   $aElaborazione dei dati$2FIR$3NAPC001844$9I
606   $aElaboratori elettronici$xProgrammi$xVerifica$2FIR$3CFIC029938$9I
676   $a004.01$9ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA. Filosofia e teoria$v14
676   $a004.0151$9ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA. Principi matematici$v22
702  1$aMerz$b, Stephan$3AQ1V011664$4340
702  1$aNavet$b, Nicolas$3NAPV110655$4340
801  3$aIT$bIT-NA0079$c20120521
850   $aIT-BN0095          
912   $aNAP0537923
950  0$aBiblioteca Centralizzata di Ateneo$b1 v.$c1 v.$d 01SALA DING 004.01                  MODAVO$e 0102 0000093395    N A4                    1 v.$f3 $h20120518$i20120521
977   $a 01
996   $aModeling and verification of real-time systems$91573657
997   $aUNISANNIO