LEADER 02109nam0 22003373i 450 
001 RMS1173283
005 20241108063120.0
010   $a3540230688
100   $a20120528d2004    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aFormal methods for the design of real-time systems$eInternational school on formal methods for the design of computer, communication and software systems, SFM-RT 2004$eBertinoro, Italy, September 13-18, 2004$eRevised Lectures$fMarco Bernardo, Flavio Corradini (eds.)
210   $aBerlin [etc.]$cSpringer$d2004
215   $aVI, 293 p.$d24 cm.
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v3185
410  0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v3185$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340
606   $aElaborazione dei dati$xCongressi$x2004$2FIR$3NAPC262003$9I
676   $a004$9ELABORAZIONE DEI DATI - SCIENZA DEGLI ELABORATORI - INFORMATICA$v14
676   $a004.33$9Modi di elaborazione. Elaborazione in tempo reale$v22
702  1$aCorradini$b, Flavio$3RMGV010181
702  1$aBernardo$b, Marco$3URBV218860
710 12$aInternational School on Formal Methods for the Design of Computer, Communication and Software Systems$d <4.$f ; 2004$e ; Bertinoro>$3RMSV492388$4070$0714737
801  3$aIT$bIT-NA0079$c20120528
850   $aIT-BN0095          
912   $aRMS1173283
950  0$aBiblioteca Centralizzata di Ateneo$bv. 6;51;259;272;612-613;615-616;618;620;626;629-631;634-635;647;649-650;652;655-658;661-666;668-670;672-676;678;680;682-688;690-694;696-697;700-722;724-726;729-742;747-753;755-763;765;767-769;771-783;785-794;796-797;800-803;805-807;809;812-813;815-821;823-826;828-829;831-832;834;836;839-846;848-860;863-866;868;1147;2282;3185;3889$c193 v.$d 01COLL.     ING.                    LNCS$e 0102 0000093435    N A4(3185               v. 3185$f3 $h20120525$i20120528
977   $a 01
996   $aFormal methods for the design of real-time systems$91382088
997   $aUNISANNIO