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 …
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
This book embraces the entire range of problems associated with phase equilibria in “tungsten – carbon†binary system and related ternary systems, nonstoichiometry, disorder and order in different tungsten carbides, electronic and crystal structure of these carbides. The main application of tungsten carbides is constituent in hardmetals for cutting tools. In the last 20 year…
No Inv.: 120871/S/Perp/09/1c~130200/PH/Perp/11/1c