Paperback. This book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024, held in Hiroshima, Japan, during December 23, 2024.The 18 full papers included in this book were carefully reviewed and selected from 39 submissions. This SFPVV 2024 symposium encourages the exchange of ideas and discussion on how formal methods, testing-based techniques, AI-driven approaches, and their combinations can be explored, established, and refined to achieve the goals of software fault preven tion, verification, and validation. This book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024, held in Hiroshima, Japan, during December 23, 2024.The 18 full papers included in this book were carefully reviewed and selected from 39 submissions. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

Seller Inventory # 9789819616206

Contact seller

Report this item

Bibliographic Details

Title: Software Fault Prevention, Verification, and Validation (Paperback)
Publisher: Springer Nature Switzerland AG, Cham
Publication Date: 2025
Language: English
ISBN 10: 9819616204
ISBN 13: 9789819616206
Binding: Paperback
Condition: new

About this title

Synopsis

This book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024, held in Hiroshima, Japan, during December 2–3, 2024.

The 18 full papers included in this book were carefully reviewed and selected from 39 submissions. This SFPVV 2024 symposium encourages the exchange of ideas and discussion on how formal methods, testing-based techniques, AI-driven approaches, and their combinations can be explored, established, and refined to achieve the goals of software fault preven tion, verification, and validation.

"About this title" may belong to another edition of this title.

Store Description

Online business

Visit Seller's Storefront

Seller's business information

ABC BOOKS LIMITED
10 John Street, London, WC1N 2EB, United Kingdom

Sale & Shipping Terms

Terms of Sale

Orders can be returned within 30 days of receipt.

Right of cancellation

Shipping Terms

Please note that titles are dispatched from our US, Canadian or Australian warehouses. Delivery times specified in shipping terms. Orders ship within 2 business days. Delivery to your door then takes 7-14 days.

Shipping rates within United Kingdom

Shipping rates within United Kingdom
Order quantity	7 to 14 business days	7 to 14 business days
First item	� 0.00	� 0.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.