Constraint-Based Verification by Jun Yuan
Material type:
TextPublication details: New York Springer 2006Description: xii, 253pISBN: 9780387259475Subject(s): Electronic systems - Design and construction | Electronic systems - Testing | Digital electronics - Testing | Constraints (Artificial intelligence)DDC classification: 005.115 YUA
Contents:
<p>Table of Contents:</p>
<p>1. Introd
| Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
REFERENCE BOOK
|
LRC_JUIT Computer Science & Engineering | REFERENCE SECTION | REF 005.115 YUA (Browse shelf (Opens below)) | Copy 1 | Not for loan | 029794 |
Total holds: 0
Browsing LRC_JUIT shelves, Shelving location: Computer Science & Engineering, Collection: REFERENCE SECTION Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| REF 005.114 BIR Introduction to Functional Programming using Haskell | REF 005.114 HAR F# for Scientists | REF 005.115 HUT Logic in Computer Science: modeling and reasoning about systems | REF 005.115 YUA Constraint-Based Verification | REF 005.117 BER UML-B Specification for Proven Embedded Systems Design | REF 005.117 BOO Unified Modelling Language User Guide | REF 005.117 DHO Technology of Object-Oriented Languages, Systems and Architectures |
<p>Table of Contents:</p>
<p>1. Introd
There are no comments on this title.