All $50+ Orders Get Free Delivery
Software Reliability Methods (Texts in Computer Science) by Doron A. Peled | Computer Science Textbook for Software Engineering Students & Professionals | Perfect for University Courses, Research & Software Development Projects
Software Reliability Methods (Texts in Computer Science) by Doron A. Peled | Computer Science Textbook for Software Engineering Students & Professionals | Perfect for University Courses, Research & Software Development Projects

Software Reliability Methods (Texts in Computer Science) by Doron A. Peled | Computer Science Textbook for Software Engineering Students & Professionals | Perfect for University Courses, Research & Software Development Projects

$62.93 $114.42 -45% OFF

Free shipping on all orders over $50

7-15 days international

10 people viewing this product right now!

30-day free returns

Secure checkout

61391411

Guranteed safe checkout
amex
paypal
discover
mastercard
visa
apple pay

Description

*Introduction * Preliminaries * Logic and Theorem Proving * Modeling Systems * Formal Specification of Systems Properties * Automatic Verification * Deductive Verification * Process Algebras and Equivalences * Testing * Visualization * Pragmatics of Formal Methods * Conclusions

We use cookies to enhance your browsing experience, serve personalized ads or content, and analyze our traffic. By clicking "Allow cookies", you consent to our use of cookies. More Information see our Privacy Policy.
Top