Explore
Mathematics in Software Reliability and Quality Assurance
0 Ungluers have
Faved this Work
Login to Fave
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.
This book is included in DOAB.
Rights Information
Are you the author or publisher of this work? If so, you can claim it as yours by registering as an Unglue.it rights holder.Downloads
This work has been downloaded 127 times via unglue.it ebook links.
- 127 - pdf (CC BY) at Unglue.it.
Links
DOI: 10.3390/books978-3-0365-3800-6Editions
