Normal view MARC view ISBD view

Data Refinement: Model-Oriented proof methods and their comparison

Material type: materialTypeLabel

BookSeries: cambridge Tracts in Theoretical Computer Science no. 47.Publisher: Cambridge Cambridge University Press 1998Description: xi, 423p.ISBN: 978-0-521-64170-8.

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

average rating: 0.0 (0 votes)

Item type	Current location	Call number	Status	Date due	Barcode
		003.3 de R (Browse shelf)	Available		506513

Previous								Next
Previous	003.3 BEL Logic-timing simulation and the degradation delay model	003.3 BEL Modeling Complex Living Systems: A Kinetic Theory and Stochastic Game Approach	003.3 BLI The promise and limits of computer modeling	003.3 de R Data Refinement: Model-Oriented proof methods and their comparison	003.3 DEO (CR) System simulation with digital computer	003.3 DEO (CR) System simulation with digital computer	003.3 GHO Modeling and asynchronous distributed simulation: Analyzing complex systems	Next

There are no comments for this item.

IIITB Library