FME '97 Industrial Applications and Strengthened Foundations of Formal Methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings /
Guardado en:
| Hovedforfatter: | |
|---|---|
| Format: | Bog |
| Sprog: | engelsk |
| Udgivet: |
Berlín, Alemania :
Springer,
1997, c1997
|
| Serier: | (Lecture Notes in Computer Science)
|
| Online adgang: | Ver documento en línea |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker: FME '97 Industrial Applications and Strengthened Foundations of Formal Methods :
- FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /
- FME 2002: Formal Methods - Getting IT Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
- FME 2001: Formal Methods for Increasing Software Productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings /
- Formal Methods: Foundations and Applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers /
- Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers /
- Formal Foundations for Software Engineering Methods /