Practical Formal Methods for Hardware Design

Language: English

Published by Springer Berlin Heidelberg, 1997

3540620079 / 9783540620075

  • Softcover
  • New
See all details

Seller: moluna, Greven, Germanymoluna

5-star seller

AbeBooks seller since July 9, 2020

View this seller's items
Softcover

Condition: New

US$ 76.78

US$ 56.99 shipping 
Ships from Germany to U.S.A.

Quantity: Over 20 available

Add to basket
Free 30-day returns

Item description from seller

Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. This research report presents results from the Esprit project FORMAT (formal .

Seller Inventory # 4895840

Title
Practical Formal Methods for Hardware Design
Author
Delgado Kloos, Carlos|Damm, Werner
Publisher
Springer Berlin Heidelberg
Publication year
1997
Condition
New
Binding
Kartoniert / Broschiert
Language
English
ISBN 10
3540620079
ISBN 13
9783540620075
Seller catalogs
Mathematik/Naturwissenschaften/Technik/Medizin

moluna

Greven, Germany

5-star seller

AbeBooks seller since July 9, 2020

Shipping rates from Germany to U.S.A.

Item26 to 60 business days26 to 60 business days
First itemUS$ 56.99US$ 56.99
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Bank Wire Transfer
  • Check
  • Paypal

Store description

Online Handel nur mit Neubüchern

Seller's business information

Moluna GmbH

Engberdingdamm 27
Greven, Germany 48268