Items related to Formal Methods in Computer-Aided Design: 4th International...
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings: 2517 (Lecture Notes in Computer Science, 2517) - Softcover
Synopsis
This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri?cation has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2.
"synopsis" may belong to another edition of this title.
Synopsis
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.
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date2002
- ISBN 10 3540001166
- ISBN 13 9783540001164
- BindingPaperback
- LanguageEnglish
- Number of pages420
- EditorAagaard Mark D., O'Leary John W.
Search results for Formal Methods in Computer-Aided Design: 4th International...
Stock Image
Formal Methods in Computer-Aided Design : Proceedings of the 4th International Conference, FMCAD 2002, Portland, OR, November 6-8, 2002 (Lecture Notes in Computer Science, Vol. 2517).
Published by
New York, NY, U.S.A. Springer-Verlag New York, Incorporated, 2002
ISBN 10: 3540001166
ISBN 13: 9783540001164
Used
Softcover
Seller: CSG Onlinebuch GMBH, Darmstadt, Germany
Seller rating 5 out of 5 stars
Softcover. Condition: Gut. Gebraucht - Gut Zustand: Gut, Mängelexemplar, XI, 399 p. About this book: 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. Written for research and development professionals. Seller Inventory # 13391
Quantity: 1 available
Seller Image
Formal Methods in Computer-Aided Design : 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 2002, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 1703863-n
Quantity: Over 20 available
Stock Image
Formal Methods in Computer-Aided Design
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540001164_new
Quantity: Over 20 available
Stock Image
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings (Lecture Notes in Computer Science)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783540001164
Quantity: 10 available
Seller Image
Formal Methods in Computer-Aided Design : 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 2002, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 1703863
Quantity: Over 20 available
Seller Image
Formal Methods in Computer-Aided Design
Published by
Springer Berlin Heidelberg Okt 2002, 2002
ISBN 10: 3540001166
ISBN 13: 9783540001164
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri cation has become one of the principal costs in a modern computer design e ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2. 420 pp. Englisch. Seller Inventory # 9783540001164
Quantity: 2 available
Seller Image
Formal Methods in Computer-Aided Design : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings
Published by
Springer Berlin Heidelberg, 2002
ISBN 10: 3540001166
ISBN 13: 9783540001164
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri cation has become one of the principal costs in a modern computer design e ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2. Seller Inventory # 9783540001164
Quantity: 1 available
Seller Image
Formal Methods in Computer-Aided Design : 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 2002, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 1703863-n
Quantity: Over 20 available
Stock Image
Formal Methods in Computer-Aided Design
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783540001164
Quantity: Over 20 available
Seller Image
Formal Methods in Computer-Aided Design
Published by
Springer Berlin Heidelberg, 2002
ISBN 10: 3540001166
ISBN 13: 9783540001164
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreport. Seller Inventory # 4876966
Quantity: Over 20 available