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,539
Discovery Miles 15 390
Repayment Terms: R144 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,539 Discovery Miles 15 390 | Repayment Terms: R144 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 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,572 Discovery Miles 15 720
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,667 R2,514 Discovery Miles 25 140
Computational Intelligence in Data Science - 4th IFIP TC 12 International Conference, ICCIDS 2021, Chennai, India, March 18-20,...
Computational Intelligence in Data…
Vallidevi Krishnamurthy, Suresh Jaganathan, … Hardcover R2,640 Discovery Miles 26 400
Privacy-Preserving in Edge Computing (Hardcover, 1st ed. 2021): Longxiang Gao, Tom H. Luan, Bruce Gu, Youyang Qu, Yong Xiang
Privacy-Preserving in Edge Computing
Longxiang Gao, Tom H. Luan, … Hardcover R4,233 Discovery Miles 42 330
Reconfigurable Intelligent Surface-Empowered 6G (Hardcover, 1st ed. 2021): Hongliang Zhang, Boya Di, Lingyang Song, Zhu Han
Reconfigurable Intelligent…
Hongliang Zhang, Boya Di, … Hardcover R4,928 Discovery Miles 49 280
5G and Beyond - Fundamentals and Standards (Hardcover, 1st ed. 2021): Xingqin Lin, Namyoon Lee
5G and Beyond - Fundamentals and…
Xingqin Lin, Namyoon Lee Hardcover R4,960 Discovery Miles 49 600
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 R722 R638 Discovery Miles 6 380
Research Trends in Graph Theory and Applications (Hardcover, 1st ed. 2021): Daniela Ferrero, Leslie Hogben, Sandra R. Kingan,...
Research Trends in Graph Theory and…
Daniela Ferrero, Leslie Hogben, … Hardcover R3,543 Discovery Miles 35 430
Machine Learning, Deep Learning and Computational Intelligence for Wireless Communication - Proceedings of MDCWC 2020...
Machine Learning, Deep Learning and…
E.S. Gopi Hardcover R6,452 Discovery Miles 64 520
Big Data in Emergency Management: Exploitation Techniques for Social and Mobile Data (Hardcover, 1st ed. 2020): Rajendra Akerkar
Big Data in Emergency Management…
Rajendra Akerkar Hardcover R4,578 Discovery Miles 45 780
Algorithms for Data and Computation Privacy (Hardcover, 1st ed. 2021): Alex X. Liu, Rui Li
Algorithms for Data and Computation…
Alex X. Liu, Rui Li Hardcover R3,916 Discovery Miles 39 160
Handbook of Integration of Cloud Computing, Cyber Physical Systems and Internet of Things (Hardcover, 1st ed. 2020): Rajiv...
Handbook of Integration of Cloud…
Rajiv Ranjan, Karan Mitra, … Hardcover R6,309 Discovery Miles 63 090

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