Building Bulletproof Software: The Power of Formal Verification

Matt, Matt

ISBN 10: 338425712X ISBN 13: 9783384257123

Published by Tredition Gmbh, 2024

New Soft cover

From GreatBookPrices, Columbia, MD, U.S.A. Seller rating 5 out of 5 stars

AbeBooks Seller since 6 April 2009

This book is no longer available. AbeBooks has millions of books. Please enter search terms below to find similar copies.

View this seller's items Create a Want for similar items

View all copies of this book

About this Item

Seller Inventory # 47897610-n

Report this item

Synopsis:

"Building Bulletproof Software" dives into the concept of formal verification, an advanced technique for guaranteeing software reliability. Unlike traditional testing methods that uncover some bugs, formal verification uses mathematical proofs to ensure software always behaves as intended. This book explains how this method can dramatically improve software quality by finding critical errors that testing might miss. By utilizing formal verification, you can launch software faster with more confidence, reduce development costs through earlier bug detection, and build a strong foundation for complex updates.

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

Bibliographic Details

Title: Building Bulletproof Software: The Power of ...
Publisher: Tredition Gmbh
Publication Date: 2024
Binding: Soft cover
Condition: New

AbeBooks offers millions of new, used, rare and out-of-print books, as well as cheap textbooks from thousands of booksellers around the world. Shopping on AbeBooks is easy, safe and 100% secure - search for your book, purchase a copy via our secure checkout and the bookseller ships it straight to you.