Your search returned 7 results.

1.
Co-verification of Hardware and Software for ARM SOC Design by Jason R. Andrews

by Andrews, Jason R.

Material type: Text Text Publication details: Amsterdam Elsevier 2004Availability: Items available for loan: Call number: 005.14 AND (2).

Place hold Request article Add to cart
2.
Co-verification of Hardware and Software for ARM SOC Design Jason R. Andrews

by Andrews, Jason R.

Material type: Text Text Publication details: Amsterdam Elsevier 2004Availability: Items available for loan: Call number: CDR 005.14 AND (1).

Place hold Request article Add to cart
3.
Verification and Validation for Quality of UML 2.0 Models by Bhuvan Unhelkar

by Unhelkar, Bhuvan.

Material type: Text Text Publication details: Hoboken John Wiley & Sons 2005Availability: Items available for reference: Not for loanCall number: REF 005.117 UNH (1). :

Request article Add to cart
4.
Open Verification Methodology Cookbook by Mark Glasser

by Glasser, Mark.

Material type: Text Text Publication details: New York Springer Verlag, Netherlands 2009Availability: Items available for reference: Not for loanCall number: REF 005.14 GLA (1). :

Request article Add to cart
5.
Systems and Software Verification: model-checking techniques and tools by B. Berard

by Bérard, Béatrice.

Material type: Text Text Publication details: Berlin ; New York Springer Verlag, Netherlands 2001Availability: Items available for reference: Not for loanCall number: REF 005.1 BER (1). :

Request article Add to cart
6.
Metamodeling-driven IP Reuse for SoC Integration and Microprocessor Design Deepak A. Mathaikutty

by Mathaikutty, Deepak A | Shukla, Sandeep K.

Material type: Text Text Publication details: Bostan Artech House 2009Availability: Items available for reference: Not for loanCall number: REF 621.395 MAT (1). :

Request article Add to cart
7.
Verification of Sequential and Concurrent Programs Apt Krzysztof

by Krzysztof, Apt | Olderog, Ernst R.

Edition: 2nd ed.Material type: Text Text Publication details: Berlin Springer Verlag 2006Availability: Items available for reference: Not for loanCall number: REF 005.14 KRZ (1). :

Request article Add to cart

Library Home | Contact Us | LRC Help

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

Powered by Koha