Integrated Formal Methods: 8th International Conference, I.F.M. 2010, Nancy, France, October 11-14, 2010, Proceedings

53.49 EUR

Ein kompakter Sammelband aus Nancy präsentiert die neuesten Erkenntnisse der achten I.F.M.-Konferenz, beleuchtet innovative Modellierungstechniken und ihre Anwendung in verlässlichen Softwaresystemen.

Marke: Springer-Verlag GmbH
MPN: 13009367
ISBN: 3642162649