| book details |

Software Reliability Methods

By (author) Doron A. Peled, Foreword by E.M. Clarke

| on special |

normal price: R 2 320.95

Price: R 2 088.95

| add to trolley |

| book description |

Many books focus on increasing the quality of software through the use of formal methods. However, most books embrace one particular method, and present it as the suggested solution for the software reliability problem. This book presents a wider picture of formal methods, through a collection of notations and techniques. It compares them, and discusses their advantages and disadvantages. One of the main challenges of formal methods is in transferring the techÂ nology developed by researchers to the software development community. ReÂ cently, we seem to be starting to have a better understanding of the important ingredients of formal methods tools. This manifests itself in the growing acÂ ceptance of such tools in the software and hardware development industry. Ideally, formal methods need to be intuitive to use (preferably using graphiÂ cal interfaces), do not impose on the user an extensive learning period, and incur only small overhead to the development process. Formal methods are much more acceptable today than ten or twenty years ago, in particular in the hardware industry. Yet there is still a lively contention between different approaches.

| product details |

| other options |

Normally shipped | Available from overseas. Delivery time is 14 - 21 days
Readership Age |

Normal Price | R 3 706.95
Price | R 3 335.95 | on special |

| add to trolley |

| back |

| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

Survive the AI Apocalypse: A guide for solutionists

Bronwyn Williams
Paperback / softback
232 pages
was: R 340.95
now: R 306.95
Forthcoming

Look around you is anything real or normal any more? News, images and videos created by AI are everywhere.

| more |

| add to trolley |

The Colonialist: The Vision of Cecil Rhodes

William Kelleher Storey
Paperback / softback
528 pages
was: R 425.95
now: R 382.95
Usually dispatched in 6-12 days

This first comprehensive biography of Cecil Rhodes in a generation illuminates Rhodesâ€™s vision for the expansion of imperialism in southern Africa, connecting politics and industry to internal development, and examines how this fueled a lasting, white-dominated colonial society.

| more |

| add to trolley |

The Coming Wave: AI, Power and Our Future

Mustafa Suleyman
Paperback / softback
352 pages
was: R 295.95
now: R 265.95
Stock is usually dispatched in 6-12 days from date of order

| more |

| add to trolley |

The Memory Collectors: A Novel

Dete Meserve
Paperback / softback
320 pages

Enquiries only

| more |

| enquire |