{
"item_title" : "Mathematics in Software Reliability and Quality Assurance",
"item_author" : [" Tadashi Dohi", "Shaoying Liu "],
"item_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.",
"item_img_path" : "https://covers2.booksamillion.com/covers/bam/3/03/653/799/3036537996_b.jpg",
"price_data" : {
"retail_price" : "78.63", "online_price" : "78.63", "our_price" : "78.63", "club_price" : "78.63", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : ""
}
}
Overview
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.
Customers Also Bought
Details
- ISBN-13: 9783036537993
- ISBN-10: 3036537996
- Publisher: Mdpi AG
- Publish Date: May 2022
- Dimensions: 9.61 x 6.69 x 0.75 inches
- Shipping Weight: 1.48 pounds
- Page Count: 218
Related Categories
