Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems
2009224 psl.ISBN 9783642045691
Viršelis: MinkštasAnglų k.