Texts in Computer Science

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

Write A Review

Hardcover | 26 June 2001

At a Glance

Hardcover
356 Pages

Dimensions(cm)
24.77 x 15.88 x 1.91

Hardcover

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This volume presents a collection of methods for dealing with software reliability. Ideally, formal methods need to be intuitive to use, require a relatively brief learning period, and incur only small overhead to the development process. This book compares these varying methods and reveals their respective advantages and disadvantages, while also staying close to the dual themes of automata theory and logic. Topics and features: * Collects and compares the key software reliability methods currently in use: deductive verification, automatic verification, testing, and process algebra * Provides useful information suitable in the software selection process for a given project * Offers numerous exercises, projects, and running examples to facilitate learning formal methods and allows for hands-on experience with these critical tools * Describes the mathematical principles supporting formal methods * Gives insights into new research directions in the field, as well as ways of developing new methods and/or adjusting existing ones. This volume can be used as an introduction to software methods techniques, a source for learning about various ways to enhance software reliability, and a guide to formal methods techniques. It is an essential resource for professionals and software engineers in R&D departments in industry, using software reliability, program-modeling systems, and verification methods.

Industry Reviews

From the reviews:

"The book covers a wide range of formal methods and how to use them to specify, verify and test software systems. ... the book will provide a good, gentle introduction to the field with many pointers to more in-depth material. ... I strongly recommend this book for anyone interested in using formal methods to develop reliable software. The book presents a very good introduction to the field and ... covers the state-of-the-art in software reliability methods." (Michael Leuschel, Software Testing, Verification and Reliability, Vol. 2 (2), November, 2001)

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Software Testing & Verification Programming & Scripting Languages Computer Science Computer Hardware Network Hardware

Other Editions and Formats

Paperback

Published: 9th October 2011

View Product

Introduction
Preliminaries
Logic and Theorem Proving
Modeling Systems
Formal Specification of Systems Properties
Automatic Verification
Deductive Verification
Process Algebras and Equivalences
Testing
Visualization
Pragmatics of Formal Methods
Conclusions
Table of Contents provided by Publisher. All Rights Reserved.

Texts in Computer Science

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Computer Programming & Software Development

The Explosive Child: Sixth Edition

A New Approach for Understanding and Parenting Easily Frustrated, Chronically Inflexible Children

Arduino For Dummies

For Dummies (Computer/Tech)

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Designing Data-Intensive Applications

The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Introduction to Psychophysics with Python

Deep Learning with C++

Design and deploy neural networks using CUDA for high-performance AI in C++

Research Methods and Project Management in Games

Research Methods and Project Management in Games

Cloud-Native Modernization Unleashed

Revolutionizing Legacy Systems with Spring, Ai, Cloud, and Microservices

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Python All-in-One For Dummies

3rd Edition

The Legend of Zelda(tm) Tears of the Kingdom - The Complete Official Guide

Collector's Edition

Swift

The Practical Guide

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Make: Electronics

Learning by Discovery: A Hands-On Primer for the New Electronics Enthusiast

Fundamentals of Python

3rd Edition - First Programs

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Make : Analog Synthesizers

A modern approach to old-school sound synthesis

Hands-On Machine Learning with Scikit-Learn, Keras, and Tensorflow

Concepts, Tools, and Techniques to Build Intelligent Systems

This product is categorised by