Shop all Clanrye International

Computer Aided Verification: Techniques and Applications - by Jordan Dean (Hardcover)

Name: Computer Aided Verification: Techniques and Applications - by Jordan Dean (Hardcover)
Brand: Clanrye International
SKU: 1010455676
Price: 112.99 USD
Availability: InStock

undefined out of 5 stars with 0 reviews

5 Questions

$112.99Save $39.96 (26% off)

In Stock

Free & easy returns

Return this item by mail or in store within 90 days for a full refund.

Eligible for registries and wish lists

Save 5% every day

With Target Circle™ Card

About this item

Details

Highlights

Computer aided verification is a branch of computer science that focuses on creating tools and techniques to help programmers in verifying whether the software designed by them works correctly or not.
Author(s): Jordan Dean
247 Pages
Computers + Internet, Software Development & Engineering

Description

About the Book

Computer aided verification is a branch of computer science that focuses on creating tools and techniques to help programmers in verifying whether the software designed by them works correctly or not. These tools are being incorporated in the system design of firms. Computer aided verification strives to improve the quality of digital systems through the analysis of software designs using logical reasoning and software tools. The goal is to create a mathematical model of a system and then attempt to prove formal properties that either certifies the system's correctness or, at the very least aid in the detection of bugs. This book discusses the techniques and applications of computer aided verification. For all readers who are interested in computer aided verification, the studies included herein will serve as an excellent guide to develop a comprehensive understanding.

Book Synopsis

Specifications

Dimensions (Overall): 10.0 Inches (H) x 7.0 Inches (W) x .63 Inches (D)

Weight: 1.43 Pounds

Suggested Age: 22 Years and Up

Number of Pages: 247

Genre: Computers + Internet

Sub-Genre: Software Development & Engineering

Publisher: Clanrye International

Theme: Systems Analysis & Design

Format: Hardcover

Author: Jordan Dean

Language: English

Street Date: September 26, 2023

TCIN: 1010455676

UPC: 9781647265861

Item Number (DPCI): 247-16-6418

Origin: Made in the USA or Imported

If the item details aren’t accurate or complete, we want to know about it.

Shipping & Returns

Shipping details

Estimated ship dimensions: 0.63 inches length x 7 inches width x 10 inches height

Estimated ship weight: 1.43 pounds

We regret that this item cannot be shipped to PO Boxes.

This item cannot be shipped to the following locations: American Samoa (see also separate entry under AS), Guam (see also separate entry under GU), Northern Mariana Islands, Puerto Rico (see also separate entry under PR), United States Minor Outlying Islands, Virgin Islands, U.S., APO/FPO, Alaska, Hawaii

Return details

This item can be returned to any Target store or Target.com.

This item must be returned within 90 days of the date it was purchased in store, delivered to the guest, delivered by a Shipt shopper, or picked up by the guest.

See the return policy for complete information.