Our Locations
Welcome to Jarir!
Please type in at least 2 characters
Please type in at least 2 characters
Jarir Logo
  1. Practical Formal Methods for Hardware Design
Item 1 of 1
Item 1 of 1

Practical Formal Methods for Hardware Design

Printed Book
SR 557
Inclusive of VAT
Sold as: EACH
SR33Per Month/24 months
Author:Kloos, C. Delgado
Date of Publication: 1997
Book classification:Crafts & Hobbies,English Books
No. of pages:308 Pages
Format:Paperback

This book is printed on demand and is non-refundable after purchase

Available Formats :

Printed Book

It will be sent to your address

SR557
Incl. VAT

Choose your delivery preference

  • Secure Shopping
  • Convenient Returns
  • Genuine & Warranted
  • Fast Delivery
Or

About this Product

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.
Show more

Specifications

SKU9783540620075
Manufacturer Number9783540620075
year published1997
Show more

Report an issue with this product.

Customer Reviews

Write Review
Go back to the top

Copyright © 2026. Jarir Bookstore. C. R. No. 1010032264. Online C. R. No. 1010654213. (Jarir Marketing Company) VAT ID 300056289500003. All Rights Reserved.