Software Fault Prevention, Verification, and Validation : Second International Symposium, SFPVV 2025, Shanghai, China, November 8–9, 2025, Proceedings
Book Details
Format
Paperback / softback
Book Series
Lecture Notes in Computer Science
ISBN-10
9819560314
ISBN-13
9789819560318
Publisher
Springer Verlag, Singapore
Imprint
Springer Verlag, Singapore
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Feb 18th, 2026
Print length
179 Pages
KSh 10,800.00
Temporarily out of stock, due soon
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
This book constitutes the refereed proceedings of the 2nd International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2025, held in Shanghai, China, during November 8–9, 2025. The 11 full papers included in this book were carefully reviewed and selected from 31 submissions.
This book constitutes the refereed proceedings of the 2nd International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2025, held in Shanghai, China, during November 8–9, 2025. The 11 full papers included in this book were carefully reviewed and selected from 31 submissions. They are grouped into the following topics: AI-driven approaches, and their combinations can be explored, established.
Get Software Fault Prevention, Verification, and Validation by Hiroyuki Okamura at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer Verlag, Singapore and it has 179 pages.
Customers Who Bought This Also Bought
Behavior-Driven Development with Cucumber
KSh 4,700.00
Cloud-native Application Architecture
KSh 8,100.00
Managing the Testing Process – Practical Tools and Techniques for Managing Hardware and Software Testing 3e +Website
KSh 6,300.00
Debugging
KSh 2,700.00
String Analysis for Software Verification and Security
KSh 14,400.00
Model-Driven Dependability Assessment of Software Systems
KSh 16,200.00
Code Clone Analysis
KSh 25,200.00
Fault Detection in Microservice Architectures
KSh 9,900.00
String Analysis for Software Verification and Security
KSh 9,900.00
Software Exorcism
KSh 5,950.00
Testing Software and Systems
KSh 19,800.00
Concise Guide to Software Verification
KSh 9,900.00
More in This Genre
Behavior-Driven Development with Cucumber
KSh 4,700.00
Cloud-native Application Architecture
KSh 8,100.00
Managing the Testing Process – Practical Tools and Techniques for Managing Hardware and Software Testing 3e +Website
KSh 6,300.00
Debugging
KSh 2,700.00
String Analysis for Software Verification and Security
KSh 14,400.00
Model-Driven Dependability Assessment of Software Systems
KSh 16,200.00
