Your search returned 2 results.

Results
	1.	25 years of model checking : history, achievements, perspectives Orna Grumberg, Helmut Veith (eds.). by Grumberg, Orna Veith, Helmut Series: Lecture notes in computer science ; 5000. \| Lecture notes in computer science. Festschrift. Publisher number: 12326419 Publication details: Berlin : Springer, 2008 Online resources: Table of contents Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 005.1 Y32. Add to cart (remove)
	2.	Macroeconometrics and time series analysis edited by Steven N. Durlauf, Lawrence E. Blume. by Durlauf, Steven N Blume, Lawrence Series: The new Palgrave economics collection Publication details: Basingstoke : Palgrave Macmillan, 2010 Availability: Not available: Central Library, IISER Bhopal: Checked out (1). Add to cart (remove)

Refine your search