PRINCIPLES OF MODEL CHECKING
Material type:
TextPublisher: USA MIT PRESS Description: 975ISBN: 9780262026499DDC classification: 004.24
| Item type | Current location | Home library | Shelving location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Book
|
School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | 004.24 (Browse shelf) | Available | RCMS001667 | ||
|
Book
|
School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | 004.24 (Browse shelf) | Available | RCMS001668 | ||
|
Book
|
School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | 004.24 (Browse shelf) | Available | RCMS001669 | ||
|
Book
|
School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | 004.24 (Browse shelf) | Available | RCMS001670 | ||
|
Book
|
School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | 004.24 (Browse shelf) | Available | RCMS001671 | ||
|
Book
|
School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | 004.24 (Browse shelf) | Available | RCMS001672 | ||
|
Book
|
School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | 004.24 (Browse shelf) | Available | RCMS001673 | ||
|
Book
|
School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | 004.24 (Browse shelf) | Available | RCMS001659 | ||
|
Book
|
School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | 004.24 (Browse shelf) | Available | RCMS001660 | ||
|
Book
|
School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | 004.24 (Browse shelf) | Available | RCMS001661 | ||
|
Book
|
School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | 004.24 (Browse shelf) | Available | RCMS001662 | ||
|
Book
|
School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | 004.24 (Browse shelf) | Available | RCMS001663 | ||
|
Book
|
School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | 004.24 (Browse shelf) | Available | RCMS001664 | ||
|
Book
|
School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | 004.24 (Browse shelf) | Available | RCMS001665 |
Total holds: 0
Browsing School of Interdisciplinary Engineering and Sciences (SINES) shelves, Shelving location: General Stacks Close shelf browser
| 004.24 PRINCIPLES OF MODEL CHECKING | 004.24 PRINCIPLES OF MODEL CHECKING | 004.24 PRINCIPLES OF MODEL CHECKING | 004.24 PRINCIPLES OF MODEL CHECKING | 004.24 PRINCIPLES OF MODEL CHECKING | 004.24 PRINCIPLES OF MODEL CHECKING | 004.24 PRINCIPLES OF MODEL CHECKING |
There are no comments on this title.