NUST Institutions Library Catalogue catalog › Details for: 25 Years of Model Checking History Achievements,Perspectives

Normal view MARC view ISBD view

25 Years of Model Checking History Achievements,Perspectives Grumberg Orna

By: Grumberg Orna Material type: Text

TextPublisher: New York Springer ISBN: 978354069849Subject(s): -- Model CheckingDDC classification: 025.33GRU

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

Item type	Current location	Home library	Shelving location	Call number	Status	Date due	Barcode	Item holds
Book	Central Library (CL)	Central Library (CL)	General Stacks	004.24 GRU (Browse shelf)	Available		RCMS001710
Book	NUST Baluchistan Campus (NBC)	NUST Baluchistan Campus (NBC)	General Stacks	025.33 GRU (Browse shelf)	Available		RCMS001808

Total holds: 0

Previous				No cover image available				Next
Previous	003 WIN Operations research: applications and algorithms	003 WIN Operations research: applications and algorithms	003.3 GHO Modeling and Asynchonous Distributed Simulation Analyzing Complex Systems	004.24 GRU 25 Years of Model Checking History Achievements,Perspectives	004.6 GRO Digital Systems Design With FPGAs And CPLDs	004.88 GBU Protocol design for local and metropolitan area networks	004.88 GBU Protocol design for local and metropolitan area networks	Next

03029743

There are no comments on this title.

to post a comment.