Shop all Murphy & Moore Publishing

Computer Aided Verification: Emerging Trends - by Tyler Keating (Hardcover)

Name: Computer Aided Verification: Emerging Trends - by Tyler Keating (Hardcover)
Brand: Murphy & Moore Publishing
SKU: 1011992037
Price: 116.99 USD
Availability: InStock

$116.99Save $41.00 (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 strives to improve the quality of digital systems by analyzing their designs with the help of logical reasoning reinforced through automated software techniques.
Author(s): Tyler Keating
243 Pages
Computers + Internet, Software Development & Engineering

Description

About the Book

Computer aided verification strives to improve the quality of digital systems by analyzing their designs with the help of logical reasoning reinforced through automated software techniques. It is helpful in enhancing the reliability, correctness and robustness of the software systems. The goal is to create a mathematical model of a system and then attempt to prove its formal properties that either helps in detecting bugs or certifies the system's correctness. The proofs might be millions of lengthy lines, thereby specifically designed computer algorithms are utilized to find and verify them. This book unravels the recent studies on computer aided verification. It consists of contributions made by international experts. The book will help the readers in keeping pace with the rapid changes and emerging trends in this field of computer science.

Book Synopsis

Specifications

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

Weight: 1.41 Pounds

Suggested Age: 22 Years and Up

Number of Pages: 243

Genre: Computers + Internet

Sub-Genre: Software Development & Engineering

Publisher: Murphy & Moore Publishing

Theme: General

Format: Hardcover

Author: Tyler Keating

Language: English

Street Date: September 19, 2023

TCIN: 1011992037

UPC: 9781639876938

Item Number (DPCI): 247-26-6403

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.56 inches length x 7 inches width x 10 inches height

Estimated ship weight: 1.41 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.