Web OPAC

Your search returned 7 results.

Results
	1.	Principles of model checking Christel Baier, Joost-Pieter Katoen. by Baier, Christel Katoen, Joost-Pieter Publication details: Cambridge, Massachusetts The MIT Press 2008 Availability: Items available for loan: Central Library, IISER Bhopal (7)Call number: 004.24 B149P, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (4)Call number: 004.24 B149P, ... Add to cart (remove)
	2.	Model checking Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. by Clarke, E. M, 1945- Grumberg, Orna Peled, Doron A, 1962- Publication details: Cambridge, Mass. : MIT Press, ©1999 Online resources: All EBSCO eBooks Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 004.21 C55M. Add to cart (remove)
	3.	Introduction to embedded systems : a cyber-physical systems approach Edward A. Lee and Sanjit A. Seshia. by Lee, Edward Ashford, 1957- Seshia, Sanjit Arunkumar Edition: Second edition. Publication details: Cambridge: The MIT Press Cambridge, 2017 Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 006.22 L51I2. Add to cart (remove)
	4.	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)
	5.	Model-based engineering of embedded systems : the SPES 2020 methodology Klaus Pohl, Harald Hönninger, Reinhold Achatz, Manfred Broy, editors. by Pohl, Klaus [editor.] Honninger, Harald [editor.] Achatz, Reinhold [editor.] Broy, M [editor.] Publication details: Berlin: Springer-Verlag, 2012 Online resources: Table of contents from Deutsche Nationalbibliothek: Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 006.22 M720. Add to cart (remove)
	6.	Model checking Edmund M Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, and Helmut Veith. by Clarke, Edmund M [author.] Grumberg, Orna Kroening, Daniel Series: The cyber-physical systems series Edition: Second edition. Publication details: Cambridge: The MIT Press, 2018 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 004.21 C551M2. Add to cart (remove)
	7.	Interactive quantum mechanics : quantum experiments on the computer S. Brandt, H.D. Dahmen, T. Stroh. by Brandt, Siegmund Dahmen, Hans Dieter Stroh, Tilo Edition: Second edition. Publication details: New York: Springer, 2011 Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 530.12028 B734I2. Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 530.12028 B734I2. Add to cart (remove)

Contact for Queries: skpathak@iiserb.ac.in