你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Finding Your way Through Formal Verification
Type
Physical Book
Publisher
Author
Year
2018
Language
English
Pages
134
Format
Paperback
ISBN13
9781986274111
Categories

Finding Your way Through Formal Verification

Bernard Murphy; Manish Pandey; Sean Safarpour (Author) · Createspace · Paperback

Finding Your way Through Formal Verification - Bernard Murphy; Manish Pandey; Sean Safarpour

New Book Imported to Taiwan
Delivery: 01 Oct - 14 Oct Shipping: 16 to 20 business days.
NT$ 1,270
NT$ 1,270

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Finding Your way Through Formal Verification "

There are already many books on formal verification, from academic to application-centric, and from tutorials for beginners to guides for advanced users. Many are excellent for their intended purpose; we recommend a few at the end of this book. But most start from the assumption that you have already committed to becoming a hands-on expert (or in some cases that you already are an expert). We feel that detailed tutorials are not the easiest place to extract the introductory view many of us are looking for – background, a general idea of how methods work, applications and how formal verification is managed in the overall verification objective. Since we’re writing for a fairly wide audience, we cover some topics that some of you may consider elementary (why verification is hard), some we hope will be of general interest (elementary understanding of the technology) and others that may not immediately interest some readers (setting up a formal verification team). What we intentionally do not cover at all is how to become a hands-on expert.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews