Integrated Formal Methods

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings 1st Auflage verfasst von Jim Davies; Jeremy Gibbons und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Integrated Formal Methods lauten 9783540732105, 3540732101 und die Druck-ISBNs lauten 9783540732099, 3540732098. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings 1st Auflage verfasst von Jim Davies; Jeremy Gibbons und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Integrated Formal Methods lauten 9783540732105, 3540732101 und die Druck-ISBNs lauten 9783540732099, 3540732098. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.