Constraint-Based Verification [electronic resource] / by Jun Yuan, Carl Pixley, Adnan Aziz.

By: Yuan, JunContributor(s): Pixley, Carl | Aziz, Adnan | SpringerLink (Online service)Material type: Computer fileComputer filePublisher: Boston, MA : Springer Science+Business Media, Inc., 2006Description: v.: digitalISBN: 9780387307848Subject(s): Engineering | Computer aided design | Systems engineering | Engineering | Circuits and Systems | Computer-Aided Engineering (CAD, CAE) and Design | Electronic and Computer EngineeringLOC classification: Q340 . | Y83 2006Online resources: Click here to access online In: Springer eBooks
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 location Call number Vol info URL Copy number Status Notes Date due Barcode
Biblioteca Digital
Responsable: Alejandra Vargas Mejía
Q340 .Y83 2006 (Browse shelf) BDIG00000807 Link to resource 1 Available SpringerLink BDIG00000807

There are no comments on this title.

to post a comment.

Powered by Koha