Mathematics in Software Reliability and Quality Assurance
MDPI AG (Publisher)
Published on 9. May 2022
Book
Hardback
218 pages
978-3-0365-3799-3 (ISBN)
Description
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.
More details
Language
English
Product notice
sewn/stitched
Cloth over boards
Dimensions
Height: 250 mm
Width: 175 mm
Thickness: 19 mm
Weight
745 gr
ISBN-13
978-3-0365-3799-3 (9783036537993)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification