Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1.
Amazon cover image
Image from Amazon.com
Formal methods of program verification and specification by
Material type: Text Text
Publication details: New Jersey : Prentice-Hall , 1982 .
Availability: Items available for loan: Shreenivas Deshpande Library (8)Call number: D6,8(B288):5 M2BF, ...

Place hold Save to lists Add to cart
2.
Amazon cover image
Image from Amazon.com
Formal methods of program verification and specification by Series: Prentice-Hall software series
Material type: Text Text
Publication details: New Jersey : Prentice-Hall , 1982 .
Availability: Items available for loan: Shreenivas Deshpande Library (1)Call number: RR D6,8(B288):5 M2BF;1.

Place hold Save to lists Add to cart
3.
Amazon cover image
Image from Amazon.com
Formal methods of program verification and specification by
Material type: Text Text
Publication details: Englewood cliffs, N.J. : Prentice-Hall , 1982 .
Availability: Items available for loan: Shreenivas Deshpande Library (1)Call number: RR D6,8(B288):5 M2BF;8.

Place hold Save to lists Add to cart
Not finding what you're looking for?
© Shreenivas Deshpande Library, 2025 | IIT (BHU) Varanasi | UP-221005
Web: https://iitbhu.ac.in/cf/lib | E-mail: deputylibrarian@iitbhu.ac.in | Ph: +91-542-716-5805
Implemented & Maintained by: RapidRadio Solutions Pvt. Ltd.