Formal methods: proceedings
Berlin [u.a.]: Springer, 2006
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- XV, 620 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Formal methods: proceedings
|
---|---|
Verantwortlichkeitsangabe: | 14th International Symposium on Formal Methods, Hamilton, Canada, August 21 - 27, 2006. Jayadev Misra ... (ed.) |
Autor/in / Beteiligte Person: | Misra, Jayadev |
Körperschaft: | FM |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 2006 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XV, 620 S. : graph. Darst. |
ISBN: | 9783540372158 : EUR 77.04 (freier Pr.), sfr 127.50 (freier Pr.); 3540372156 : EUR 77.04 (freier Pr.), sfr 127.50 (freier Pr.) |
Schlagwort: |
|
Sonstiges: |
|