Items related to Software Fault Prevention, Verification, and Validation:...

Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings: 15393 (Lecture Notes in Computer Science, 15393) - Softcover

 
9789819616206: Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings: 15393 (Lecture Notes in Computer Science, 15393)

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.

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

Buy Used

Condition: As New
Unread book in perfect condition...
View this item

£ 1.96 shipping within U.S.A.

Destination, rates & speeds

Search results for Software Fault Prevention, Verification, and Validation:...

Stock Image

Liu, Shaoying
Published by Springer, 2025
ISBN 10: 9819616204 ISBN 13: 9789819616206
New Softcover

Seller: Kennys Bookstore, Olney, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # V9789819616206

Contact seller

Buy New

£ 41.26
Convert currency
Shipping: £ 7.81
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Liu, Shaoying (EDT)
Published by Springer, 2025
ISBN 10: 9819616204 ISBN 13: 9789819616206
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 49882545-n

Contact seller

Buy New

£ 47.27
Convert currency
Shipping: £ 1.96
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Liu, Shaoying
Published by Springer, 2025
ISBN 10: 9819616204 ISBN 13: 9789819616206
New Softcover

Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # V9789819616206

Contact seller

Buy New

£ 40.28
Convert currency
Shipping: £ 9.17
From Ireland to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Shaoying Liu
Published by Springer, 2025
ISBN 10: 9819616204 ISBN 13: 9789819616206
New PAP

Seller: PBShop.store UK, Fairford, GLOS, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # GB-9789819616206

Contact seller

Buy New

£ 45.42
Convert currency
Shipping: £ 4.16
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Liu, Shaoying (EDT)
Published by Springer, 2025
ISBN 10: 9819616204 ISBN 13: 9789819616206
Used Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 49882545

Contact seller

Buy Used

£ 52.79
Convert currency
Shipping: £ 1.96
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 2025
ISBN 10: 9819616204 ISBN 13: 9789819616206
New Softcover

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9789819616206

Contact seller

Buy New

£ 49.72
Convert currency
Shipping: £ 6.68
Within U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Liu, Shaoying (EDT)
Published by Springer, 2025
ISBN 10: 9819616204 ISBN 13: 9789819616206
New Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 49882545-n

Contact seller

Buy New

£ 45.41
Convert currency
Shipping: £ 15
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 2025
ISBN 10: 9819616204 ISBN 13: 9789819616206
New Softcover

Seller: California Books, Miami, FL, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # I-9789819616206

Contact seller

Buy New

£ 60.53
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2025
ISBN 10: 9819616204 ISBN 13: 9789819616206
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9789819616206_new

Contact seller

Buy New

£ 49.13
Convert currency
Shipping: £ 11.98
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Shaoying Liu
ISBN 10: 9819616204 ISBN 13: 9789819616206
New Paperback

Seller: Grand Eagle Retail, Mason, OH, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: new. 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 multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9789819616206

Contact seller

Buy New

£ 62.43
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

There are 14 more copies of this book

View all search results for this book