01150 a2200277 4500 Nust 20170207154016.0 2004111362 3540230688 (softcover : alk. paper) Nust 004.33 Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures / Marco Bernardo, Flavio Corradini (eds.). SRM-RT 2004 Berlin ; New York : Springer, c2004. vi, 293 p. : ill. ; 24 cm. Lecture notes in computer science ; 3185 Tutorial. Computer software Computer systems Formal methods (Computer science) EBOOK Real-time data processing Bernardo, Marco. Corradini, Flavio. Lecture notes in computer science ; Lecture notes in computer science ; Publisher description http://www.loc.gov/catdir/enhancements/fy0814/2004111362-d.html ddc BK 191445 191445 0 0 ddc 0 0 NFIC MCS MCS 2016-12-12 0 004.33 BER MCSBE 835 2016-12-08 2016-12-12 BK