0
Your cart

Your cart is empty

Books > Computing & IT > Computer hardware & operating systems

Buy Now

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 (Paperback, 2003 ed.) Loot Price: R1,702
Discovery Miles 17 020
Correct Hardware Design and Verification Methods - 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003,...

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 (Paperback, 2003 ed.)

Daniel Geist, Enrico Tronci

Series: Lecture Notes in Computer Science, 2860

 (sign in to rate)
Loot Price R1,702 Discovery Miles 17 020 | Repayment Terms: R160 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 2860
Release date: October 2003
First published: 2003
Editors: Daniel Geist • Enrico Tronci
Dimensions: 235 x 155 x 22mm (L x W x T)
Format: Paperback
Pages: 432
Edition: 2003 ed.
ISBN-13: 978-3-540-20363-6
Categories: Books > Computing & IT > General theory of computing > Systems analysis & design
Books > Computing & IT > Computer hardware & operating systems > General
Promotions
LSN: 3-540-20363-X
Barcode: 9783540203636

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Managing Business Projects - The…
Frank Einhorn Paperback R492 Discovery Miles 4 920
Practical TCP/IP and Ethernet Networking…
Deon Reynders, Edwin Wright Paperback R1,581 Discovery Miles 15 810
The System Designer's Guide to VHDL-AMS…
Peter J Ashenden, Gregory D. Peterson, … Paperback R2,421 Discovery Miles 24 210
Intelligent IT Outsourcing
Sara Cullen, Leslie Willcocks Paperback R1,982 Discovery Miles 19 820
TI-83 Plus Calculator
BarCharts Inc Fold-out book or chart R244 Discovery Miles 2 440
Mike Meyers' CompTIA A+ Guide to 802…
Mike Meyers Paperback R1,297 Discovery Miles 12 970
BTEC Nationals Information Technology…
Jenny Phillips, Alan Jarvis, … Paperback R1,077 Discovery Miles 10 770
A Hobbyist's Guide to THEA500 Mini
Holger Wessling Hardcover R983 Discovery Miles 9 830
Essential Windows 10: 1st Anniversary…
Kevin Wilson Paperback R459 R288 Discovery Miles 2 880
CSS and HTML for beginners - A Beginners…
Ethan Hall Hardcover R1,115 R950 Discovery Miles 9 500
CSS For Beginners - The Best CSS Guide…
Ethan Hall Hardcover R971 R833 Discovery Miles 8 330
Inclusive Radio Communications for 5G…
Claude Oestges, Francois Quitin Paperback R3,076 Discovery Miles 30 760

See more

Partners