你好! 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 New Paradigms in Computer Aided Verification
Type
Physical Book
Illustrated by
Publisher
Author
Language
English
Pages
258
Format
Hardcover
Dimensions
25.4x17.8x1.6 cm
Weight
0.67 kg.
ISBN13
9781639896905
Categories

New Paradigms in Computer Aided Verification

Tyler Keating (Illustrated by) · States Academic Press · Hardcover

New Paradigms in Computer Aided Verification - Keating, Tyler

Cheaper New Book Imported to Taiwan
Delivery: 19 Oct - 30 Oct Shipping: 16 to 20 business days.
NT$ 5,376
Faster New Book Imported to Taiwan
Delivery: 02 Oct - 12 Oct Shipping: 5 to 6 business days.
NT$ 5,648
NT$ 5,376

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

Go to My Wishlists
Calculate shipping cost

Synopsis "New Paradigms in Computer Aided Verification "

Computer aided verification process (CAV) comprises mathematically based strict approaches for the verification, specification and development of hardware and software systems. The goal of CAD is to make such systems more robust, correct and dependable. Mathematical theories, design phase and specification formalism are used to categorize verification methods. Methods for verification during the design phase comprise testing, specification and implementation. Markov chains, process algebras and timed automata are the processes done in specification formalism. Static analysis, model checking and theorem proving are part of the verification process in mathematical theories. SPIN, NuSMV, UPPAAL, CBMC, TLA+, dafny, and PRISM are some of the tools that can be utilized in CAV. This book elucidates the concepts and innovative models and prospective developments with respect to computer science and information technology. It will also provide interesting topics for research which interested readers can take up.

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 Hardcover.

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