|
1.
|
Hardware design verification : simulation and formal method-based approaches
by Lam, William K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Prentice Hall, 2005Availability: No items available Checked out (1).
|
|
2.
|
Program construction and verification
by Backhouse, Roland C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Englewood: Prentice Hall, 1986Availability: Items available for loan: [Call number: 005 BAC] (1).
|
|
3.
|
Programming for the Java Virtual Machine
by Engel, Joshua. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Harlow: Addison-Wesley, 1999Availability: Items available for loan: [Call number: 005.73 ENG] (2).
|
|
4.
|
Model checking
by Clarke, Edmund M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: The MIT Press, 2002Availability: Items available for loan: [Call number: 004.21 CLA] (1).
|
|
5.
|
Logic synthesis and verification algorithms
by Hachtel, Gary D | Somenzi, Fabio. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 621.395 HAC] (1).
|
|
6.
|
Verification of sequential and concurrent programs
by Apt, Krzysztof R | Olderog, Ernst-Rudiger. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 005.14 APT] (1).
|
|
7.
|
Verification and validation for quality of UML 2.0 models
by Unhelkar, Bhuvan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: John Wiley & Sons, 2005Availability: Items available for loan: [Call number: 005.14 UNH] (1).
|
|
8.
|
Principles of verifiable RTL design : a functional coding style supporting verification processes in verilog
by Bening, Lionel | Foster, Harry D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 621.392 BEN] (1).
|
|
9.
|
EDA for IC system design, verification, and testing
by Lavagno, Luciano | Martin, Grant | Scheffer, Louis. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2006Availability: Items available for loan: [Call number: 621.3815 SCH] (1).
|
|
10.
|
Writing testbenches : functional verification of HDL models
by Bergeron, Janick. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic, 2003Availability: Items available for loan: [Call number: 621.3815 BER] (1).
|
|
11.
|
Software security-theories and systems
by Okada, Mitsuhiro. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 OKA] (1).
|
|
12.
|
Information and Communications Security : 5th International Conference, ICICS 2003, Huhehaote, China, October 10-13, 2003 : Proceedings
by Qing, Sihan | Gollmann, Dieter | Zhou, Jianying. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 QIN] (1).
|
|
13.
|
Model checking software : twelfth International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings
by Godefroid, Patrick. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GOD] (1).
|
|
14.
|
Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002 Madrid, Spain, September 17-20, 2002 revised selected papers
by Leuschel, Michael. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LEU] (1).
|
|
15.
|
Petri Nets For Systems Engineering
by Girault, Claude. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 621.392 GIR] (1).
|
|
16.
|
Software Quality Approaches
by Haug, Michael. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.1 HAU] (1).
|
|
17.
|
Introduction to Formal Hardware Verification
by Kropf, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 621.392 KRO] (1).
|
|
18.
|
CMOS : circuit design, layout and simulation
by Baker, R. Jacob | Boyce, David E | Li, Harry W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2000Availability: Items available for loan: [Call number: 621.39732 BAK] (4). Checked out (1).
|
|
19.
|
Fundamentals of Software Engineering
by Ghezzi, Carlo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2002Availability: Items available for loan: [Call number: 005.1 GHE] (1).
|
|
20.
|
Design verification with E
by Palnitkar, Samir. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Delhi: Pearson Education, 2004Availability: Items available for loan: [Call number: 621.392 PAL] (1).
|