01187nas 2200397 a 450 99620492470331620240413020448.01555-6662(OCoLC)38840674(CKB)954926244521(CONSER) 2007233735(MiAaPQ)60276(DE-599)ZDB1468110-9(EXLCZ)9995492624452119980324a19929999 sy aengurmnu|||||txtrdacontentcrdamediacrrdacarrierComputational mathematics and mathematical physics[Russia] MAIK Nauka/InterperiodicaRefereed/Peer-reviewed0965-5425 Numerical analysisPeriodicalsMathematical physicsPeriodicalsMathematicsData processingPeriodicalsNumerical analysisMathematical physicsMathematicsData processing517.6Rossiĭskai͡a akademii͡a nauk.JOURNAL996204924703316Computational mathematics and mathematical physics797255UNISA01905nam0 22003733i 450 RMS117328320251003044345.0354023068820120528d2004 ||||0itac50 baengdez01i xxxe z01nFormal methods for the design of real-time systemsInternational school on formal methods for the design of computer, communication and software systems, SFM-RT 2004Bertinoro, Italy, September 13-18, 2004Revised LecturesMarco Bernardo, Flavio Corradini (eds.)Berlin [etc.]Springer2004VI, 293 p.24 cm.Lecture notes in computer scienceedited by G. Goos and J. Hartmanis3185001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis3185702 1Goos, GerhardAQ1V006441340Elaborazione dei datiCongressi2004FIRNAPC262003I004ELABORAZIONE DEI DATI. SCIENZA DEGLI ELABORATORI. INFORMATICA14004.33Modi di elaborazione. Elaborazione in tempo reale22ConvegniCongressi e convegniCongressiConvegniCongressiCongressi e convegniCorradini, FlavioRMGV010181Bernardo, MarcoURBV218860International School on Formal Methods for the Design of Computer, Communication and Software Systems <4. ; 2004 ; Bertinoro>RMSV492388070714737ITIT-00000020120528IT-BN0095 RMS1173283Biblioteca Centralizzata di Ateneo193 v. 01COLL. ING. LNCS 0102 0000093435 VMA A4(3185 v. 3185Y 2012052520120528 01Formal methods for the design of real-time systems1382088UNISANNIO