Formal Methods in Computer-Aided Design

Name: Formal Methods in Computer-Aided Design
Brand: Springer, Berlin
SKU: 9783540619376
Price: 52.87 EUR
Availability: InStock

First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996, Proceedings

Автор: Albert Camilleri, Mandayam Srivas

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

52.87 € 103.41 лв

This book constitutes the refereed proceedings of the First International Conference on Formal Metho...

Информация за книгата

Автор

Albert Camilleri, Mandayam Srivas

Език

Английски език

Корици

Книга - С меки корици

Издадена

1996

страници

478

EAN

9783540619376

ISBN

3540619372

Enbook ID

05274636

Издател

Springer, Berlin

Теглоt

628

Размери

156 x 234 x 24

Пълно описание

This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in November 1996.The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including verification, synthesis, and testing.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Formal Methods in Computer-Aided Design

First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996, Proceedings

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също