Formal methods for software architectures: advanced lectures
Berlin [u.a.]: Springer, 2003
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- VI, 285 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Formal methods for software architectures: advanced lectures
|
---|---|
Verantwortlichkeitsangabe: | Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003. Marco Bernardo ... (ed.) |
Autor/in / Beteiligte Person: | Bernardo, Marco (1970-) |
Körperschaft: | International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 2003 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | VI, 285 S. : graph. Darst. |
ISBN: | 3540200835 kart. : EUR 41.73 (freier Pr.), sfr 67.00 |
Schlagwort: |
|
Sonstiges: |
|