Applied formal verification
Material type:
TextPublisher: NEW YORK MCGRAW HILL 2005Description: XIV,237 PISBN: 0-07-144372-XSubject(s): APPLIED FORMAL VERIFICATION.SIMULATION BASED VERIFICATION.SYSTEM LEVEL SIMULATIONDDC classification: 621.3815 PER
| Item type | Current location | Home library | Shelving location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Book
|
College of Electrical & Mechanical Engineering (CEME) | College of Electrical & Mechanical Engineering (CEME) | General Stacks | 621.3815 PER (Browse shelf) | Available | CEME-43746 | ||
|
Book
|
College of Electrical & Mechanical Engineering (CEME) | College of Electrical & Mechanical Engineering (CEME) | General Stacks | 621.3815 PER (Browse shelf) | Available | CEME-43745 | ||
|
Book
|
College of Electrical & Mechanical Engineering (CEME) | College of Electrical & Mechanical Engineering (CEME) | General Stacks | 621.3815 PER (Browse shelf) | Available | CEME-44644 |
Total holds: 0
There are no comments on this title.