Library Working Hours During Recess
Monday to Friday	09:00 AM - 07:00 PM
Saturday	09:00 AM - 05:00 PM
Sundays & Holidays	Closed

Patron Checkouts
Patrons	No. of Books Issued	Loan Period	Overdue Charges
Faculty	25	6 months	Nil
Students	10	2 Weeks	Re. 1 Per Book Per Day
Research Scholars	15	30 Days	Nil
Staff	5	30 Days	Nil

Image from Amazon.com

Normal view MARC view ISBD view

Software specification methods / edited by Henri Habrias and Marc Frappier

By:

edited by Habrias, Henri

Contributor(s):

Frappier, Marc

Material type: Text

TextLanguage: ENG Publication details: United Kingdom ISTE 2006Description: 418 pISBN:

9781905209347

Subject(s):

DDC classification:

004.0151 HAB-H

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Shelving location	Call number	Status	Date due	Barcode	Item holds
Books	BITS Pilani Hyderabad	003-007	General Stack (For lending)	004.0151 HAB-H (Browse shelf(Opens below))	Available		3444

Total holds: 0

Browsing BITS Pilani Hyderabad shelves, Shelving location: General Stack (For lending), Collection: 003-007 Close shelf browser (Hides shelf browser)

This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.

There are no comments on this title.

to post a comment.