Text

Software Reliability Methods

Description Not Available

Availability

Detail Information

Series Title

-

Call Number

CIR 005 P381s

Publisher

New York : Springer., 2011

Collation

332 pages; 6.1 × 9.3 × 0.8 inches.

Language

English

ISBN/ISSN

0-387-95106-7

Classification

NONE

Content Type

text

Media Type

unmediated

Carrier Type

volume

Edition

-

Subject(s)

Software testing
Software Engineering
Software Reliability
Formal Methods
Model Checking

Specific Detail Info

Software Reliability Methods by Doron A. Peled presents techniques like formal verification, model checking, and testing to improve software correctness and dependability. It serves as both a textbook and reference for students and professionals in software engineering.

Statement of Responsibility

by Peled, Doron A.

Other version/related

File Attachment

Comments