Your search returned 4 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Scalable Hardware Verification with Symbolic Simulation [electronic resource] / by Valeria Bertacco. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Boston, MA : Springer US, 2006 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
2.
Functional Design Errors in Digital Circuits [electronic resource] : Diagnosis, Correction and Repair / by Kai-hui Chang, Igor L. Markov, Valeria Bertacco. by Series: Lecture Notes in Electrical Engineering ; 32
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands, 2009 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
3.
Post-Silicon and Runtime Verification for Modern Processors [electronic resource] / by Ilya Wagner, Valeria Bertacco. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Boston, MA : Springer US, 2011 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
4.
Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay. by Series: Lecture Notes in Computer Science ; 8244
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Place hold
Pages

Maintained by VTU Library