Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
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 lecturesInternational School on Formal Methods for the Design of Computer Communication, and Software Systems (4th 2004 Bertinoro, Italy) Marco Bernardo; Flavio CorradiniBerlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |