Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Internet > Network computers

Buy Now

Software Reliability Methods (Paperback, 2001) Loot Price: R1,424
Discovery Miles 14 240
Repayment Terms: R133 pm x 12*
Add to cart
Software Reliability Methods (Paperback, 2001): E.M. Clarke

Software Reliability Methods (Paperback, 2001)

E.M. Clarke; Doron A. Peled

Series: Texts in Computer Science

 (sign in to rate)
Loot Price R1,424 Discovery Miles 14 240 | Repayment Terms: R133 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

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.

General

Imprint: Springer-Verlag New York
Country of origin: United States
Series: Texts in Computer Science
Release date: October 2011
First published: 2001
Foreword by: E.M. Clarke
Authors: Doron A. Peled
Dimensions: 235 x 155 x 18mm (L x W x T)
Format: Paperback
Pages: 332
Edition: 2001
ISBN-13: 978-1-4419-2876-4
Categories: Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Internet > Network computers
Promotions
LSN: 1-4419-2876-6
Barcode: 9781441928764

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Peering Carrier Ethernet Networks (Paperback): Sachidananda Kangovi
Peering Carrier Ethernet Networks
Sachidananda Kangovi Paperback R1,483 Discovery Miles 14 830
Cyber-Physical Systems - Foundations, Principles and Applications (Paperback): Houbing Song, Danda B. Rawat, Sabina Jeschke,...
Cyber-Physical Systems - Foundations…
Houbing Song, Danda B. Rawat, … Paperback R2,507 R2,368 Discovery Miles 23 680
Computer Networking - An All-in-One Beginner's Guide to Understanding Communications Systems, Network Security, Internet...
Computer Networking - An All-in-One…
Quinn Kiser Hardcover R665 R594 Discovery Miles 5 940
The Internet of Things in the Industrial Sector - Security and Device Connectivity, Smart Environments, and Industry 4.0...
The Internet of Things in the Industrial…
Zaigham Mahmood Hardcover R4,001 Discovery Miles 40 010
Handbook of Multimedia Information Security: Techniques and Applications (Hardcover, 1st ed. 2019): Amit Kumar Singh, Anand...
Handbook of Multimedia Information…
Amit Kumar Singh, Anand Mohan Hardcover R6,633 Discovery Miles 66 330
Handbook of Computer Networks and Cyber Security - Principles and Paradigms (Hardcover, 1st ed. 2020): Brij B. Gupta, Gregorio...
Handbook of Computer Networks and Cyber…
Brij B. Gupta, Gregorio Martinez Perez, … Hardcover R7,167 Discovery Miles 71 670
Cable Networks, Services, and Management (Hardcover): M Toy
Cable Networks, Services, and Management
M Toy Hardcover R3,354 Discovery Miles 33 540
Connected Vehicles - Intelligent Transportation Systems (Hardcover, 1st ed. 2019): Radovan Miucic
Connected Vehicles - Intelligent…
Radovan Miucic Hardcover R4,262 Discovery Miles 42 620
Malicious Attack Propagation and Source Identification (Hardcover, 1st ed. 2019): Jiaojiao Jiang, Sheng Wen, Bo Liu, Shui Yu,...
Malicious Attack Propagation and Source…
Jiaojiao Jiang, Sheng Wen, … Hardcover R3,336 Discovery Miles 33 360
When Compressive Sensing Meets Mobile Crowdsensing (Hardcover, 1st ed. 2019): Linghe Kong, Bowen Wang, Guihai Chen
When Compressive Sensing Meets Mobile…
Linghe Kong, Bowen Wang, … Hardcover R2,653 Discovery Miles 26 530
Distributed Real-Time Systems - Theory and Practice (Hardcover, 1st ed. 2019): K. Erciyes
Distributed Real-Time Systems - Theory…
K. Erciyes Hardcover R2,132 Discovery Miles 21 320
Fault Tolerant Architectures for Cryptography and Hardware Security (Hardcover, 1st ed. 2018): Sikhar Patranabis, Debdeep...
Fault Tolerant Architectures for…
Sikhar Patranabis, Debdeep Mukhopadhyay Hardcover R3,802 Discovery Miles 38 020

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners