Search "Mathematical Software"

O'Regan, Gerard - Mathematical Approaches to Software Quality, ebook

Mathematical Approaches to Software Quality

O'Regan, Gerard


Table of contents
1. Introduction
2. Software Engineering Mathematics
3. Logic for Software Engineering
4. Z Specification Language
5. Vienna Development Method
6. Irish School of VDM
7. Dijkstra and Hoare
8. The Parnas Way
9. Cleanroom and Software Reliability
10. Unified Modeling

Mili, Ali - Software Testing: Concepts and Operations, ebook

Software Testing: Concepts and Operations

Mili, Ali


Explores and identifies the main issues, concepts, principles and evolution of software testing, including software quality engineering and testing concepts, test data generation, test deployment analysis, and software

Chihara, Laura M. - Mathematical Statistics with Resampling and R, ebook

Mathematical Statistics with Resampling and R

Chihara, Laura M.

From 133,20€

This book bridges the latest software applications with the benefits of modern resampling techniques
Resampling helps students understand the meaning of sampling distributions, sampling variability, P-values, hypothesis tests, and confidence intervals. This groundbreaking book shows how

Hall, Jonas - Mathematical Modeling: Applications with GeoGebra, ebook

Mathematical Modeling: Applications with GeoGebra

Hall, Jonas


A logical problem-based introduction to the use of GeoGebra for mathematical modeling and problem solving within various areas of mathematics
A well-organized guide to mathematical modeling techniques for evaluating and solving problems in the diverse

Pace, Larry - Beginning R, ebook

Beginning R

Pace, Larry


Table of contents
1. Getting R and Getting Started
Larry Pace
2. Programming in R
Larry Pace
3. Writing Reusable Functions
Larry Pace
4. Summary Statistics
Larry Pace
5. Creating Tables and Graphs
Larry Pace