Items related to Software Reliability Methods
Synopsis
*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
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Software Reliability Methods
Stock Image
Software Reliability Methods
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781475735413_new
Quantity: Over 20 available
Stock Image
Software Reliability Methods
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781475735413
Quantity: Over 20 available
Stock Image
Software Reliability Methods
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781475735413
Quantity: Over 20 available