Detail Image
click to view more

Practical Formal Methods for Hardware Design (Softcover Reprint of the Original 1st 1997)

by

$52.27

List Price: $54.99
Save: $2.72 (4%)
add to favourite
  • In Stock - Ship in 24 hours with Free Online tracking.
  • FREE DELIVERY by Wednesday, July 23, 2025
  • 24/24 Online
  • Yes High Speed
  • Yes Protection

Description

This Esprit volume presents research results from the FORMAT (formal methods in hardware verification) project, a collaboration of five European enterprises, a research institute, and two universities.

Last updated on

Product Details

  • May 28, 1997 Pub Date:
  • 3540620079 ISBN-10:
  • 9783540620075 ISBN-13:
  • English Language