Reactive Systems: Modelling, Specification and Verification Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP,... Software Evolution Software has become omnipresent and vital in our information-based society, so all software producers should assume responsibility for its reliability. While "reliable" originally assumed implementations that were effective and mainly error-free, additional issues like adaptability and maintainability have gained equal importance...
Scientific Computing with Python 3
Your ultimate resource for getting up and running with Python numerical computations
Explore numerical computing and mathematical libraries using Python 3.x code with SciPy and NumPy modules
A hands-on guide to implementing mathematics with Python, with complete...
|Result Page: 660 659 658 657 656 655 654 653 652 651 650 649 648 647 646 645 644 643 642 |