Your search returned 7 results.

Not what you expected? Check for suggestions
1.
Software engineering : analysis and verification

by Lewis, T G.

Material type: Text Text; Format: print Language: English Publisher: Virginia : Reston, 1982Availability: No items available : Checked out (1).

2.
The foundations of program verification

by Sieber, Kurt.

Material type: Text Text; Format: print Language: English Publisher: Chicheste : John wiely, 1984Availability: Items available for loan: Call number: 005.14 LOE/F (1).

3.
Modeling and verification of real-time systems: formalisms and software tools

by Merz, S., Ed.

Material type: Text Text; Format: print Language: English Publisher: New jersey : John wiley, 2008Availability: Items available for loan: Call number: 004.0151 MER/M (1).

4.
Temporal verification of reactive systems: safety

by Manna, Zohar.

Material type: Text Text; Format: print Language: English Publisher: New york : Springer, 1995Availability: Items available for loan: Call number: 005.2 MAN/T (1).

5.
Functional design errors in digital circuits: diagnosis, correction and repair

by Chang, Kai-Hui.

Material type: Text Text; Format: print Language: English Publisher: New york : Springer, 2009Availability: Items available for loan: Call number: 621.381548 CHA/F (1).

6.
Hardware verification with system verilog: an object-oriented framework

by Mintz, Mike.

Material type: Text Text; Format: print Language: English Publisher: New york : Springer, 2007Availability: Items available for loan: Call number: 621.392 MIN/H (1).

7.
Introduction to product design and development for engineers [electronic resource] / by Dr. Ali Jamnia.

by Dr. Ali Jamnia [author.] | Taylor and Francis.

Edition: First edition.Material type: Text Text; Format: available online remote; Literary form: Not fiction Language: English Publisher: Boca Raton, FL : CRC Press, an imprint of Taylor and Francis, 2018Online access: Click here to view. Availability: No items available :


Implemented and Maintained by Biju Patnaik Central Library.
For any Suggestions/Query Contact to library or Email: library@nitrkl.ac.in OR bpcl-cir@nitrkl.ac.in. Ph:91+6612462103
Website/OPAC best viewed in Mozilla Browser in 1366X768 Resolution.

Powered by Koha