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
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!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
