Formal methods for the design of real time systems: revised lectures
Berlin [u.a.]: Springer, 2004
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- VI, 293 S. : Ill., graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Formal methods for the design of real time systems: revised lectures
|
---|---|
Verantwortlichkeitsangabe: | International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13 - 18, 2004. Marco Bernardo ... (eds.) |
Autor/in / Beteiligte Person: | Bernardo, Marco (1970-) |
Körperschaft: | International School on Formal Methods for the Design of Computer, Communication and Software Systems |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 2004 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | VI, 293 S. : Ill., graph. Darst. |
ISBN: | 3540230688 : EUR 49.22 (freier Pr.), sfr 84.00 (freier Pr.) |
Schlagwort: |
|
Sonstiges: |
|