Formal Methods in Computer-Aided Design

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

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

Autor: Albert Camilleri, Mandayam Srivas

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.84 lei

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

Informații despre carte

Autor

Albert Camilleri, Mandayam Srivas

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1996

Pagini

478

EAN

9783540619376

ISBN

3540619372

Enbook ID

05274636

Editura

Springer, Berlin

Greutate

628

Dimensiuni

156 x 234 x 24

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Formal Methods in Computer-Aided Design

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și