LEADER 01643nam0 22003853i 450 
001 NAP0537923
005 20251003044255.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$3CFIC000257$9E
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
696   $aVerificazione$aProgrammi didattici$aProgrammi scolastici$aPiani di lavoro
699   $aVerifica$yVerificazione
699   $aProgrammi$yProgrammi didattici
699   $aProgrammi$yProgrammi scolastici
699   $aProgrammi$zPiani di lavoro
702  1$aMerz$b, Stephan$3AQ1V011664$4340
702  1$aNavet$b, Nicolas$3NAPV110655$4340
801  3$aIT$bIT-000000$c20120521
850   $aIT-BN0095          
901   $bNAP 01$cSALA DING $n$
912   $aNAP0537923
950  0$aBiblioteca Centralizzata di Ateneo$b1 v.$c1 v.$d 01SALA DING 004.01                  MODAVO$e 0102 0000093395  VMA A4                    1 v.$fY $h20120518$i20120521
977   $a 01
996   $aModeling and verification of real-time systems$91573657
997   $aUNISANNIO