Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Software Design, Testing & Engineering   Quality Control

Software Reliability Methods (Texts in Computer Science)


Blowout Sale! Save 54% on the Software Reliability Methods (Texts in Computer Science) by Springer at EMS Linux. MPN: 09766421. Hurry! Limited time offer. Offer valid only while supplies last. This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The


Product Description

This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This reference will serve as an introduction to formal methods and techniques and will be a source for learning about various ways to enhance software reliability. Various projects and exercises give readers hands-on experience with the various formal methods and tools.

Additional Information

Manufacturer:Springer
Part Number:09766421
Publisher:Springer
Studio:Springer
MPN:09766421
EAN:9780387951065
Item Weight:1.29 pounds
Item Size:0.81 x 9.21 x 9.21 inches
Package Weight:1.3 pounds
Package Size:6.2 x 0.9 x 0.9 inches

Software Reliability Methods (Texts in Computer Science) by Springer

Buy Now:
Software Reliability Methods (Texts in Computer Science)

Brand: Springer
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$119.99
$55.97
You Save: 53%


Quantity:  

 


View More In Quality Control.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


mpn: illustrations, ean: 9780890068656, isbn: 0890068658,
An overview of software quality management, its key components and how they work together in forming a solid quality management programme are presented in this text. In non-technical langauge, the author identifies the eight components of QM programm...

mpn: illustrations, ean: 9780735622531, isbn: 0735622531,
This practical, hands-on guide captures, categorizes, and builds a process of best practices to help avoid creating defects during the development process—rather than fixing them after extensive analysis. While there are various proprietary and com...

ean: 9780198523826, isbn: 0198523823,
Mathematics, particularly formal methods, cryptography and reliability modeling, is increasingly pivotal in the development and assessment of complex systems on which society depends, including banking, medical, transportation, and defense systems. T...

ean: 9780079117953, isbn: 0079117953,
This book/disk package describes techniques for improving software quality by using the latest Baldrige Award criteria as a management tool. It covers technology innovations to help get high-quality code out on time, ways to improve developing and te...

mpn: 99 black & white illustrations, 14 black, ean: 9783540414414, isbn: 354041441X,
1. 1 The Pressure on Information Technology (IT) "In today's environment, the ability to react quickly to change by reducing the devel­ opment life cycle in order to be first to market will give a company an important com­ petitive edge. " -James M...

sku: 007913271520111014, ean: 9780079132710, isbn: 0079132715,
The first practical guide to Software Reliability Engineering (SRE), this book puts the efficiency-enhancing benefits of SRE within reach of all software developers and testers. Organized for quick learning and rapid application, this book leads you ...

mpn: biography, ean: 9783540415237, isbn: 3540415238,
Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basi...

ean: 9780769502991, isbn: 0769502997,
The role of software has changed from simply generating financialor mechanical data to monitoring and controlling equipment thatdirectly affects human life and safety. As a result, a morethorough understanding and familiarity with the specializedtech...

ean: 9780898713633, isbn: 0898713633,
Provides an introduction to computer benchmarking. Hockney includes material concerned with the definition of performance parameters and metrics and defines a set of suitable metrics with which to measure performance and units with which to express t...

ean: 9780130205841, isbn: 0130205842,
Innovative V&V strategies for the hottest new technologies We depend on complex software systems throughout our daily lives, from banking to communications to transportation to medicine. To keep them reliably failure-free, verification and validation...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.