LEADER 01208nam0 22003013i 450 
001 RMS2194220
005 20241108063122.0
010   $a9780521883337
100   $a20120517d2008    ||||0itac50      ba
101 | $aeng
102   $agb
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aReal-time systems$eformal specification and automatic verification$fErnst-Rüdiger Olderog and Henning Dierks
210   $aCambridge [etc.]$cCambridge University$dc2008
215   $aXVI, 320 p.$cill.$d26 cm
606   $aElaborazione dei dati$2FIR$3NAPC001844$9I
676   $a004$9ELABORAZIONE DEI DATI - SCIENZA DEGLI ELABORATORI - INFORMATICA$v14
676   $a004.33$9Modi di elaborazione. Elaborazione in tempo reale$v22
700  1$aOlderog$b, Ernst-Rudiger$3AQ1V006552$4070$0770277
701  1$aDierks$b, Henning$3RMSV867397$4070$0771738
801  3$aIT$bIT-NA0079$c20120517
850   $aIT-BN0095          
912   $aRMS2194220
950  0$aBiblioteca Centralizzata di Ateneo$b1 v.$c1 v.$d 01SALA DING 004                     OLD.re$e 0102 0000093375    N A4                    1 v.$f3 $h20120515$i20120517
977   $a 01
996   $aReal-time systems$91574965
997   $aUNISANNIO