opac header image

Your search returned 2 results.

Sort
Results
Correct Hardware design and verification methods / Margaria,T(ed).

by Margaria,T(ed).

Series: LNCS 2144Edition: 11th IFIP 10.5 AdvanMaterial type: Text Text Language: English Publication details: Berlin: Springer, 2001Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 004 LEC.

Tools and algorithms for the construction and analysis of systems / Margaria,T(ed).

by Margaria,T(ed).

Series: Lecture notes in computer science-No-2031Edition: 7th International CoMaterial type: Text Text Language: English Publication details: Berlin: Springer, 2001Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 004 LEC.

Pages

© 2022 Central Library, Tezpur University.
For any query, please contact Phone: 03712-27-3224 | Email: library@tezu.ernet.in