Results "development" : 36 to 40 of 2308
 | Interactive Theorem Proving and Program Development |
|
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constr... Ebook Relate : development theory software certified interactive | |
 | Interscience Computer Applications in Pharmaceutical Research and Development - Wiley |
| A unique, holistic approach covering all functions and phases of pharmaceutical research and development
While there are a number of texts dedicated to individ... Ebook Relate : development phases unique pharmaceutical research | |
 | Foundations of AOP for J2EE Development |
| Foundations of AOP for J2EE Development covers a relatively new programming paradigm: aspect-oriente... Ebook Relate : programming application development | |
 | Sams Teach Yourself Extreme Programming in 24 Hours |
| Extreme Programming (XP) is a new lightweight software developing methodology. XP is the most popular of the “agile” development methodologies. Agil... Ebook Relate : development programming extreme software automated | |
| Making Use of Python |
| Python is a multipurpose development language that can be used on virtually every platform. It offer... Ebook Relate : python development scripting languages dynamic | |
