NUST Institutions Library Catalogue catalog › Details for: PRINCIPLES OF MODEL CHECKING

Normal view MARC view ISBD view

PRINCIPLES OF MODEL CHECKING

By: CHRISTEL BAIERMaterial type: Text

TextPublisher: USA MIT PRESS Description: 975ISBN: 9780262026499DDC classification: 004.24

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

Holdings ( 14 )
Comments ( 0 )

Item type	Current location	Home library	Shelving location	Call number	Status	Barcode
Book	School of Interdisciplinary Engineering and Sciences (SINES)	School of Interdisciplinary Engineering and Sciences (SINES)	General Stacks	004.24 (Browse shelf)	Available	RCMS001667
Book	School of Interdisciplinary Engineering and Sciences (SINES)	School of Interdisciplinary Engineering and Sciences (SINES)	General Stacks	004.24 (Browse shelf)	Available	RCMS001668
Book	School of Interdisciplinary Engineering and Sciences (SINES)	School of Interdisciplinary Engineering and Sciences (SINES)	General Stacks	004.24 (Browse shelf)	Available	RCMS001669
Book	School of Interdisciplinary Engineering and Sciences (SINES)	School of Interdisciplinary Engineering and Sciences (SINES)	General Stacks	004.24 (Browse shelf)	Available	RCMS001670
Book	School of Interdisciplinary Engineering and Sciences (SINES)	School of Interdisciplinary Engineering and Sciences (SINES)	General Stacks	004.24 (Browse shelf)	Available	RCMS001671
Book	School of Interdisciplinary Engineering and Sciences (SINES)	School of Interdisciplinary Engineering and Sciences (SINES)	General Stacks	004.24 (Browse shelf)	Available	RCMS001672
Book	School of Interdisciplinary Engineering and Sciences (SINES)	School of Interdisciplinary Engineering and Sciences (SINES)	General Stacks	004.24 (Browse shelf)	Available	RCMS001673
Book	School of Interdisciplinary Engineering and Sciences (SINES)	School of Interdisciplinary Engineering and Sciences (SINES)	General Stacks	004.24 (Browse shelf)	Available	RCMS001659
Book	School of Interdisciplinary Engineering and Sciences (SINES)	School of Interdisciplinary Engineering and Sciences (SINES)	General Stacks	004.24 (Browse shelf)	Available	RCMS001660
Book	School of Interdisciplinary Engineering and Sciences (SINES)	School of Interdisciplinary Engineering and Sciences (SINES)	General Stacks	004.24 (Browse shelf)	Available	RCMS001661
Book	School of Interdisciplinary Engineering and Sciences (SINES)	School of Interdisciplinary Engineering and Sciences (SINES)	General Stacks	004.24 (Browse shelf)	Available	RCMS001662
Book	School of Interdisciplinary Engineering and Sciences (SINES)	School of Interdisciplinary Engineering and Sciences (SINES)	General Stacks	004.24 (Browse shelf)	Available	RCMS001663
Book	School of Interdisciplinary Engineering and Sciences (SINES)	School of Interdisciplinary Engineering and Sciences (SINES)	General Stacks	004.24 (Browse shelf)	Available	RCMS001664
Book	School of Interdisciplinary Engineering and Sciences (SINES)	School of Interdisciplinary Engineering and Sciences (SINES)	General Stacks	004.24 (Browse shelf)	Available	RCMS001665

Total holds: 0

Browsing School of Interdisciplinary Engineering and Sciences (SINES) shelves, Shelving location: General Stacks Close shelf browser

Previous	No cover image available	No cover image available						Next
Previous	004.12 SHA MS Thesis:Modeling Simulation and Characterization of Flow Control of Vortex Shedding Using Synthetic Jet Actuator	004.12 USM MS Thesis:Modeling & Simulations of phased Array Radar Front -End	004.24 PRINCIPLES OF MODEL CHECKING	004.24 PRINCIPLES OF MODEL CHECKING	004.24 PRINCIPLES OF MODEL CHECKING	004.24 PRINCIPLES OF MODEL CHECKING	004.24 PRINCIPLES OF MODEL CHECKING	Next

There are no comments on this title.

to post a comment.