Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings - Lecture Notes in Computer Science 2860 (Paperback)
  • Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings - Lecture Notes in Computer Science 2860 (Paperback)
zoom

Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings - Lecture Notes in Computer Science 2860 (Paperback)

(editor), (editor)
£85.50
Paperback 432 Pages / Published: 10/10/2003
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
This volume contains the proceedings of CHARME 2003, the12th Advanced - search Working Conference on Correct Hardware Design and Veri?cation - thods. CHARME 2003 continues the series of working conferences devoted to the development and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and hardware-like systems. Previous events in the 'CHARME' series were held in Edinburgh (2001), Bad Herrenalb (1999), Montreal (1997), Frankfurt (1995), Arles (1993) and - rin (1991). This series of meetings were organized in cooperation with IFIP WG 10.5and10.2.Priormeetings,stretchingbacktotheearliestdaysofformalha- wareveri?cationwereheldundervariousnamesinMiami(1990),Leuven(1989), Glasgow (1988), Grenoble (1986), Edinburgh (1985) and Darmstadt (1984). We now have a well-established convention whereby the European CHARME con- rence alternates with its biennial counterpart, the International Conference on Formal Methods in Computer-Aided Design(FMCAD),whichisheldinev- numbered years in the USA. CHARME 2003 took place during 21-24 October 2003 at the Computer Science Department of the University of L'Aquila, Italy. It was cosponsored by the IFIP TC10/WG10 Working Group on Design and Engineering of Electronic Systems. The CHARME 2003 scienti?c program was comprised of: - A morning Tutorial by Daniel Geist aimed at industrial and academic - terchange. - Two Invited Lectures by Wolfgang Roesner and Fabio Somenzi. - Regular Sessions, featuring 24 papers selected out of 65 submissions, r- ging from foundational contributions to tool presentations. - Short Presentations, featuring 8 short contributions accompanied by a short presentation. The conference, of course, also included informal tool demonstrations, not announced in the o?cial program.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540203636
Number of pages: 432
Weight: 1370 g
Dimensions: 235 x 155 x 22 mm
Edition: 2003 ed.

You may also be interested in...

Business Analysis Techniques
Added to basket
The Computer and the Brain
Added to basket
NEUTRABAS
Added to basket
£49.99
Paperback
Systems Analysis and Design
Added to basket
Developing Analytic Talent
Added to basket
US For Beginners
Added to basket
£23.99
Paperback
Service Design Patterns
Added to basket
Developing Information Systems
Added to basket
Information Systems Development
Added to basket
The Mythical Man-Month
Added to basket
Elemental Design Patterns
Added to basket
X-Ways Forensics Practitioner's Guide
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.