Items related to Building Bulletproof Software: The Power of Formal...

Building Bulletproof Software: The Power of Formal Verification - Softcover

 
Image Not Available
  • PublisherTredition Gmbh
  • Publication date2024
  • ISBN 10 338425712X
  • ISBN 13 9783384257123
  • BindingPaperback
  • LanguageEnglish
  • Number of pages120

Buy Used

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

US$ 2.64 shipping within U.S.A.

Destination, rates & speeds

Search results for Building Bulletproof Software: The Power of Formal...

Stock Image

Matt, Matt
Published by Tredition Gmbh, 2024
ISBN 10: 338425712X ISBN 13: 9783384257123
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 # 47897610-n

Contact seller

Buy New

US$ 21.27
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Matt
Published by Tredition Gmbh 6/11/2024, 2024
ISBN 10: 338425712X ISBN 13: 9783384257123
New Paperback or Softback

Seller: BargainBookStores, Grand Rapids, MI, U.S.A.

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

Paperback or Softback. Condition: New. Building Bulletproof Software: The Power of Formal Verification 0.41. Book. Seller Inventory # BBS-9783384257123

Contact seller

Buy New

US$ 23.92
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 5 available

Add to basket

Stock Image

Matt, Matt
Published by Tredition Gmbh, 2024
ISBN 10: 338425712X ISBN 13: 9783384257123
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 # 47897610

Contact seller

Buy Used

US$ 24.38
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Matt, Matt
Published by Tredition Gmbh, 2024
ISBN 10: 338425712X ISBN 13: 9783384257123
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 # 47897610-n

Contact seller

Buy New

US$ 33.51
Convert currency
Shipping: US$ 19.94
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Matt, Matt
Published by Tredition Gmbh, 2024
ISBN 10: 338425712X ISBN 13: 9783384257123
Used Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

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 # 47897610

Contact seller

Buy Used

US$ 33.97
Convert currency
Shipping: US$ 19.94
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Matt
Published by Tredition Jun 2024, 2024
ISBN 10: 338425712X ISBN 13: 9783384257123
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

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

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 120 pp. Englisch. Seller Inventory # 9783384257123

Contact seller

Buy New

US$ 33.29
Convert currency
Shipping: US$ 26.00
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Matt
Published by Tredition, 2024
ISBN 10: 338425712X ISBN 13: 9783384257123
New Taschenbuch
Print on Demand

Seller: AHA-BUCH GmbH, Einbeck, Germany

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

Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - '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. Seller Inventory # 9783384257123

Contact seller

Buy New

US$ 33.29
Convert currency
Shipping: US$ 32.86
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Matt
Published by Tredition Gmbh, 2024
ISBN 10: 338425712X ISBN 13: 9783384257123
New Paperback

Seller: CitiRetail, Stevenage, United Kingdom

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

Paperback. Condition: new. Paperback. "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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9783384257123

Contact seller

Buy New

US$ 33.52
Convert currency
Shipping: US$ 49.18
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Matt
Published by tredition, 2024
ISBN 10: 338425712X ISBN 13: 9783384257123
New Softcover
Print on Demand

Seller: moluna, Greven, Germany

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

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 sof. Seller Inventory # 1706024700

Contact seller

Buy New

US$ 33.29
Convert currency
Shipping: US$ 55.38
From Germany to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Matt
Published by tredition, 2024
ISBN 10: 338425712X ISBN 13: 9783384257123
New Taschenbuch

Seller: preigu, Osnabrück, Germany

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

Taschenbuch. Condition: Neu. Building Bulletproof Software: The Power of Formal Verification | Matt | Taschenbuch | Paperback | Englisch | 2024 | tredition | EAN 9783384257123 | Verantwortliche Person für die EU: tredition GmbH, Heinz-Beusen-Stieg 5, 22926 Ahrensburg, support[at]tredition[dot]com | Anbieter: preigu. Seller Inventory # 129431332

Contact seller

Buy New

US$ 33.29
Convert currency
Shipping: US$ 79.13
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 5 available

Add to basket