Libros bestsellers hasta 50% dcto  Ver más

menu
0

My Account
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional
portada Finding Your way Through Formal Verification (in English)
Type
Physical Book
Publisher
Author
Year
2018
Language
English
Pages
134
Format
Paperback
ISBN13
9781986274111
Categories

Finding Your way Through Formal Verification (in English)

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

Finding Your way Through Formal Verification (in English) - Bernard Murphy; Manish Pandey; Sean Safarpour

Physical Book

$ 20.53

$ 26.00

You save: $ 5.47

21% discount
Envío gratis a todo Estados Unidos
  • Condition: New

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

Go to My Wishlists
It will be shipped from our warehouse between Thursday, May 30 and Friday, May 31.
You will receive it anywhere in United States between 1 and 3 business days after shipment.

Synopsis "Finding Your way Through Formal Verification (in English)"

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