Name: formal methods in computer-aided design
SKU: 3482693
Price: 1989.00 TWD
Availability: InStock
ISBN: 9783540001164

Select your country

Americas

Europe

Rest of the world

portada formal methods in computer-aided design

Type

Physical Book

Publisher

Springer

Language

English

Pages

399

ISBN

3540001166

ISBN13

9783540001164

Synopsis "formal methods in computer-aided design"

this book constitutes the refereed proceedings of the 4th international conference on formal methods in computer-aided design, fmcad 2002, held in portland, or, usa in november 2002.the 23 revised full papers presented were carefully reviewed and selected from 47 submissions. the book offers topial sections on abstraction, symbolic simulation, model checking, microprocessor specification and verification, decision procedures, verification techniques and methodology, hardware description languages, and prototyping and synthesis.

Customers reviews

Have you read this book? Login to add your review.

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.

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