Web OPAC

Your search returned 4 results.

Results
	1.	Reactive systems : modelling, specification and verification Luca Aceto ... [et al.]. by Aceto, Luca Anna Ingólfsdóttir Larsen, K. G Srba, Jiřiʹ Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, 2007 Online resources: Contributor biographical information Publisher description Table of contents only Availability: Items available for loan: Central Library, IISER Bhopal (4)Call number: 006.330151 Ac37R, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 006.330151 Ac37R. Add to cart (remove)
	2.	Modeling software behavior : a craftsman's approach Paul C. Jorgensen. by Jorgensen, Paul C Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boca Raton : CRC Press, c2009 Availability: Not available: Central Library, IISER Bhopal: Checked out (1). Add to cart (remove)
	3.	Requirements engineering fundamentals : a study guide for the certified professional for requirements engineering exam, foundation level, IREB compliant Klaus Pohl, Chris Rupp. by Pohl, Klaus Rupp, Chris Edition: Second edition. Material type: Text; Format: print ; Literary form: Not fiction Publication details: San Rafael: Rocky Nook Inc., 2015 Availability: Not available: Central Library, IISER Bhopal: Checked out (1). Add to cart (remove)
	4.	Microsystem design Stephen D. Senturia. by Senturia, Stephen D Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Springer India Pvt. Ltd., 2015 Online resources: Publisher description Table of contents only Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 621.3 Se59M. Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 621.3 Se59M. Add to cart (remove)

Contact for Queries: skpathak@iiserb.ac.in