Close
Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Search
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings (Paperback)

£78.50
Printed to order. Despatched in 2-3 weeks.
Email me when back in stock

Synopsis

This volume contains the proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods. CHARME 2001 is the 11th in a 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 Bad Herrenalb (1999), Montreal (1997), Frankfurt (1995), Arles (1993), and Torino (1991). This series of meetings has been organized in cooperation with IFIP WG 10.5 and WG 10.2. Prior meetings, stretching backto the earliest days of formal hardware veri?cation, were held under various names in Miami (1990), Leuven (1989), Glasgow (1988), Grenoble (1986), Edinburgh (1985), and Darmstadt (1984). The convention is now well-established whereby the European CHARME conference alternates with its biennial counterpart, the International Conference on Formal Methods in Computer-Aided Design (FMCAD), which is held on even-numbered years in the USA. The conference tookplace during 4-7 September 2001 at the Institute for System Level Integration in Livingston, Scotland. It was co-hosted by the - stitute and the Department of Computing Science of Glasgow University and co-sponsored by the IFIP TC10/WG10.5 Working Group on Design and En- neering of Electronic Systems. CHARME 2001 also included a scienti?c session and social program held jointly with the 14th International Conference on Th- rem Proving in Higher Order Logics (TPHOLs), which was co-located in nearby Edinburgh.

Computing & ITComputer programming / software developmentSoftware EngineeringComputing & ITComputer scienceComputer architecture & logic designComputing & ITComputer scienceSystems analysis & design Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Publication Date: 27/08/2001 ISBN-13: 9783540425410  Details: Type: Paperback Format: Books
Availability: Printed to order. Despatched in 2-3 weeks.  

More books by Tiziana Margaria

More books by Tom Melham

Leave Review

Delivery

Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

Location 1st Book Each additional book Average Delivery Time
UK Standard Delivery FREE FREE 3-5 Days
UK First Class £4.50 £1.00 1-2 Days
UK Courier £7.00 £1.00 1-2 Days
Western Europe** Courier £17.00 £3.00 2-3 Days
Western Europe** Airmail £5.00 £1.50 4-14 Days
USA / Canada Courier £20.00 £3.00 2-4 Days
USA / Canada Airmail £7.00 £3.00 4-14 Days
Rest of World Courier £22.50 £3.00 3-6 Days
Rest of World Airmail £8.00 £3.00 7-21 Days

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Delivery Help & FAQs

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

Quantifying Software: Global and...
(Hardback)
Capers Jones
 
 
£69.99
 
The CIO's Guide to Risk
(Hardback)
Jessica Keyes
 
 
£53.99
 
Speed, Data, and Ecosystems: ...
(Hardback)
Jan Bosch
 
 
£145.00
 
Product Management in Practice
(Paperback)
Matt LeMay
 
 
£23.99
 
Latest Blog
#FoylesFive: Foreign Languages Part One
08/12/2017

Our knowledgeable and fabulous Languages Department have put together a great selection of books, to help share the magic of reading in every language. First up we have books in Italian, Portugese and Swedish.

Crime, Responsibility and Morality: The Impact of Siberian Exile on Fyodor Dostoevsky
08/12/2017

Daniel describes how Siberian exile was the great writer Fyodor Dostoevsky’s foundational experience as an author and thinker.

#FoylesFive: Classical Languages
07/12/2017

The team from our Languages Department pick a selection of titles on language and its historical and contemporary importance.

View all Blog Entries
Twitter
Show/Hide Tweets
© W&G Foyle Ltd