Model checking

By:

Material type:

TextLanguage: English 1999Description: Soft BindingISBN:

Subject(s):

DDC classification:

Online resources:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Cover image	Item type	Current library	Home library	Collection	Shelving location	Call number	Materials specified	Vol info	URL	Copy number	Status	Notes	Date due	Barcode	Item holds	Item hold queue priority	Course reserves
	Books	Main Library		CS		004.21 CLA (Browse shelf(Opens below))			Link to resource	Copy 1	Available			20958

Browsing Main Library shelves Close shelf browser (Hides shelf browser)

Previous		No cover image available No cover image available	No cover image available No cover image available			No cover image available No cover image available		Next
Previous	004.21 BEN Object-oriented systems analysis and design using UML	004.21 BEN Systems analysis and design for the global enterprise	004.21 BEN Systems analysis and design for the global enterprise	004.21 CLA Model checking	004.21 COM Network Systems Design using Network Procesors	004.21 COM Network Systems Design using Network Processors Using Network Processors	004.21 DAV The Information System Consultant's Handbook Systems Analysis and Design	Next

Faculty, students and Staff

There are no comments on this title.

to post a comment.