Integrated Formal Methods

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Integrated Formal Methods lauten 9783642386138, 364238613X und die Druck-ISBNs lauten 9783642386121, 3642386121. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Integrated Formal Methods lauten 9783642386138, 364238613X und die Druck-ISBNs lauten 9783642386121, 3642386121. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.