Advances in Hardware Design and Verification Image close
Advances in Hardware Design and Verification on Hardback
Advances in Hardware Design and Verification on Hardback
Show Hide Adult Content
Advances in Hardware Design and Verification close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Systems analysis & design

Advances in Hardware Design and Verification

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Hardback
$460.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $115.00 with Afterpay Learn more

6 weekly interest-free payments of $76.67 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 28 Jun - 10 Jul using International Courier

Explore more IFIP Advances in Information and Communication Technology

See all products in this series

Information Security - the Next Decade on Hardback
$579.00
Information Security - the Next Decade
Hardback
Available - Usually ships in 3-4 weeks
Information Systems and Technology in the International Office of the Future on Hardback
$572.00
Information Systems and Technology in the International Office of the...
Hardback
Available - Usually ships in 3-4 weeks
Industrial Applications of Semantic Web on Hardback
$309.00
Industrial Applications of Semantic Web
Hardback
Available - Usually ships in 3-4 weeks
Information Technology and Changes in Organizational Work on Hardback
$574.00
Information Technology and Changes in Organizational Work
Hardback
Available - Usually ships in 3-4 weeks
Programming Concepts and Methods PROCOMET ’98 on Hardback
$575.00
Programming Concepts and Methods PROCOMET ’98
Hardback
Available - Usually ships in 3-4 weeks
New Developments in Distributed Applications and Interoperable Systems on Hardback
$587.00
New Developments in Distributed Applications and Interoperable Systems
Hardback
Available - Usually ships in 3-4 weeks
Facilitating Technology Transfer through Partnership on Hardback
$446.00
Facilitating Technology Transfer through Partnership
Hardback
Available - Usually ships in 3-4 weeks
Smart Card Research and Advanced Applications on Hardback
$572.00
Smart Card Research and Advanced Applications
Hardback
Available - Usually ships in 3-4 weeks
Database Security XII on Hardback
$459.00
Database Security XII
Hardback
Available - Usually ships in 3-4 weeks
Artificial Intelligence Applications and Innovations on Hardback
$516.00
Artificial Intelligence Applications and Innovations
Hardback
Available - Usually ships in 3-4 weeks
Product Lifecycle Management Enabling Smart X
$441.00
Product Lifecycle Management Enabling Smart X
Paperback / softback
Available - Usually ships in 3-4 weeks
Building the e-World Ecosystem on Hardback
$153.00
Building the e-World Ecosystem
Hardback
Available - Usually ships in 3-4 weeks
Computer and Computing Technologies in Agriculture on Hardback
$298.00
Computer and Computing Technologies in Agriculture
Hardback
Available - Usually ships in 3-4 weeks
Knowledge Management in Action
$287.00
Knowledge Management in Action
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Intelligence and Its Applications
$489.00
Computational Intelligence and Its Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Information Technology in Disaster Risk Reduction
$213.00
Information Technology in Disaster Risk Reduction
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

CHARM 97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. This series is held in collaboration with IFIP WG 10.5. Previous meetings were held in Europe every other year. Formal verification is increasingly recognized as an appropriate tool for design acceptance and for detecting design errors and specification ambiguities. The validation of functional and timing behaviour is a major bottleneck in current VLSI design systems. Once an academic area, formal design and verification techniques are attracting serious attention from industry. Given this increased activity, the series aims to attract researchers and users from both communities. This working conference focuses on the integration of verification technologies, identifying ideal subdomains of application for each and on the possibility of creating hybrid verification tools and approaches.
Release date NZ
October 31st, 1997
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
  • Undergraduate
Contributors
  • Edited by David Probst
  • Edited by Hon Li
Illustrations
IX, 313 p.
Pages
313
Dimensions
156x234x19
ISBN-13
9780412813306
Product ID
3947948

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Systems analysis & design
Books >
Computers & Internet >
Databases
Books >
Computers & Internet >
Databases >
Data warehousing
Books >
Computers & Internet >
Databases >
Information retrieval
Books >
Computers & Internet >
Computer science >
Systems analysis & design