Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Software specification methods / edited by Henri Habrias and Marc Frappier by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: ENG
Publication details: United Kingdom ISTE 2006
Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 004.0151 HAB-H.

Add to cart
2.
Dynamic logic / David Harel, Dexter Kozen and Jerzy Tiuryn by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: ENG
Publication details: India Prentice Hall of India 2000
Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 004.015113 HAR-D.

Add to cart
Pages
An institution deemed to be a University Estd. Vide Sec.3 of the UGC
Act,1956 under notification # F.12-23/63.U-2 of Jun 18,1964
© 2024 BITS-Library, BITS-Hyderabad, India.