Filter
Søkt på: Søkeresultat
Filter
1 treff
Industrial Deployment of System Engineering Methods
innbundet,
2013,
Engelsk,
ISBN 9783642331695
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes …