Formal Methods in Computer-Aided Design: First...

Main
Computers - Computer Science
Formal Methods in Computer-Aided...

Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings

Name: Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings
ISBN: 9783540619376

Kurt Keutzer (auth.), Mandayam Srivas, Albert Camilleri (eds.)

0 / 0

0 comments

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

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.

Κατηγορίες:

Computers - Computer Science

Έτος:

1996

Έκδοση:

Εκδότης:

Springer-Verlag Berlin Heidelberg

Γλώσσα:

english

Σελίδες:

478

ISBN 10: