Integrated Formal Methods

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings 1st Auflage verfasst von Michael Leuschel; Heike Wehrheim und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Integrated Formal Methods lauten 9783642002557, 3642002552 und die Druck-ISBNs lauten 9783642002540, 3642002544. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings 1st Auflage verfasst von Michael Leuschel; Heike Wehrheim und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Integrated Formal Methods lauten 9783642002557, 3642002552 und die Druck-ISBNs lauten 9783642002540, 3642002544. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.