• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Practical Formal Methods for Hardware Design

Practical Formal Methods for Hardware Design

Paperback

General ComputersGeneral GardeningProgramming

ISBN10: 3540620079
ISBN13: 9783540620075
Publisher: Springer
Published: May 28 1997
Pages: 293
Weight: 0.96
Height: 0.65 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

General Gardening