Mathematics in Software Reliability and Quality Assurance - Hardcover

FormatBook

Language English

ISBN-13 / SKU 9783036537993

About this item

by Tadashi Dohi (Guest Editor), Shaoying Liu (Guest Editor)

This monograph concerns the mathematical aspects of software reliability and quality assurance and consists of 11 technical papers in this emerging area. Included are the latest research results related to formal methods and design, automatic software testing, software verification and validation, coalgebra theory, automata theory, hybrid system and software reliability modeling and assessment.

Number of Pages: 218

Dimensions: 0.75 x 9.61 x 6.69 IN

Publication Date: May 09, 2022

$97.83

In Stock.