Constraint-Based Verification by Jun Yuan

By: Yuan, JunContributor(s): Aziz, Adnan | Pixley, CarlMaterial type: TextTextPublication 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
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current library Collection Call number Vol info Status Date due Barcode Item holds
REFERENCE BOOK 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

<p>Table of Contents:</p>

<p>1. Introd

There are no comments on this title.

to post a comment.

Library Home | Contact Us | LRC Help

Copyright @ 2020 LRC
Jaypee University of Information Technology
website hit counter

Powered by Koha