No Inv.: 108295/S/Perp/06/1c~116746-116748/P/Perp/09/3c
No Inv.: 109349/S/Perp/07/1c
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 the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aer…
Assuming no prior background in linear algebra or real analysis, An Introduction to MATLAB® Programming and Numerical Methods for Engineers enables you to develop good computational problem solving techniques through the use of numerical methods and the MATLAB® programming environment. Part One introduces fundamental programming concepts, using simple examples to put new concepts quickly into…
No Inv.: 110724-110778/P/Perp/07/5c
No Inv.: 112665/P/Perp/08/1c
No Inv.: 116743-116745/P/Perp/09/3c
No Inv.: 116639/S/Perp/09/1c
No Inv.: 116902/P/Perp/09/1c