Pharmacy, Health & Wellness

All Health & Wellness

Pharmacy

Allergy & Sinus

Vitamins & Supplements

Caregiver Hub

Protein, Fitness, & Weight Management

Women's Wellness

Pain Management

First Aid & Injury Recovery

Vision Center

Digestive Health & Wellness

Cough, Cold, & Flu

Eyecare

Kids Health & Wellness

Diabetes Management

International Medicine

Benefits Hub

Hero image 0 of A Roadmap for Formal Property Verification, (Hardcover), 0 of 1

Pallab Dasgupta

A Roadmap for Formal Property Verification, (Hardcover)

(No ratings yet)

Key item features

A Roadmap for Formal Property Verification, (Hardcover)
Author: Springer
ISBN: 9781402047572
Format: Hardcover
Publication Date: 2006-07-05
Page Count: 252

Specs

Book format
Hardcover
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Pub date
20060705
Pages
252
Reading level
Grade 12

Current price is $93.81

Price when purchased online

Free shipping
Free 90-day returns

How do you want your item?

I want delivery savings with

Try 30 days of Free Shipping with Walmart+! Choose plan at checkout.

How do you want your item?

Columbus, 43215

Arrives by Tue, Apr 21

Sold and shipped by Walmart.com

Free 90-day returns - in store or online

This item is gift eligible

More seller options (1)

Starting from $118.82

Get free delivery, shipping and more*

*Restrictions apply

About this item

Product details

Integrating formal property verification (FPV) into an existing design process raises critical questions: Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? This book develops the answers to these questions and fits them into a roadmap for formal property verification - a roadmap that shows how to glue FPV technology into the traditional validation flow.

A Roadmap for Formal Property Verification, (Hardcover)
Author: Springer
ISBN: 9781402047572
Format: Hardcover
Publication Date: 2006-07-05
Page Count: 252

info:

We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it.

Specifications

Book format

Hardcover

Fiction/nonfiction

Non-Fiction

Genre

Computing & Internet

Pub date

20060705

Warranty

Warranty information

Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.