 |
|
|
|
|
 Modeling in Event-B: System and Software Engineering
A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to... |  |  The Art and Craft of Problem Solving
The newly revised Second Edtion of this distinctive text uniquely blends interesting problems with strategies, tools, and techniques to develop mathematical skill and intuition necessary for problem solving. Readers are encouraged to do math rather than just study it. The author draws upon his experience as a coach for the International... |  |  Up and Running with AutoCAD 2010
Gindis introduces AutoCAD with step-by-step instructions, stripping away complexities to begin working in AutoCAD immediately. All concepts are explained first in theory, and then shown in practice, helping the reader understand what it is they are doing and why before they do it.
The book contains supporting graphics... |
|
Result Page: 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 |