9783540237389 - Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings (Lecture Notes in Computer ... (4 Ergebnisse)

Paperback. Zustand: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Zustand: New. In.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - These are the proceedings of the fth international conference, Formal Methods in Computer-Aided Design (FMCAD), held 15 17 November 2004 in Austin, Texas, USA. The conference provides a forum for presenting state-of-the-art tools, methods, algorithms, and theory for the application of formalized r- soning to all aspects of computer-aided system design, including speci cation, veri cation, synthesis, and testing. FMCAD s heritagedates back20 yearsto someof the earliestconferenceson the subjectofformalreasoningandcomputer-aideddesign.Since 1996,FMCAD has assumedits presentform,heldbiennially inNorthAmerica,alternatingwith its sister conference CHARME in Europe. We are delighted to report that our researchcommunitycontinuesto ourish:wereceived69papersubmissions,with many more high-quality papers than we had room to accept. After a rigorous review process, in which each paper received at least three, and typically four or more, independent reviews, we accepted 29 papers for the conference and inclusion in this volume. The conference also included invited talks from Greg Spirakis of Intel Corporation and Wayne Wolf of Princeton University. A conference of this size requires the contributions of numerous people. On the technical side, we are grateful to the program committee and the additional reviewers for their countless hours reviewing submissions and ensuring the int- lectual quality of the conference. We would also like to thank the steering c- mittee for their wisdom and guidance. On the logistical side, we thank Christa Mace for designing our website and attending to countless organizational tasks. And we thank our corporate sponsors AMD, IBM, Intel, and Synopsys for nancial support that helped make this conference possible.

Taschenbuch. Zustand: Neu. Formal Methods in Computer-Aided Design | 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings | Alan J. Hu (u. a.) | Taschenbuch | xii | Englisch | 2004 | Springer | EAN 9783540237389 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.